Model checking software: 16th International SPIN Workshop, Grenoble, France, June 26 - 28, 2009 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin ; Heidelberg [u.a.]
Springer
2009
|
| Series: | Lecture Notes in Computer Science
5578 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | X, 295 S. graph. Darst. 235 mm x 155 mm |
| ISBN: | 9783642026515 3642026516 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV035636960 | ||
| 003 | DE-604 | ||
| 005 | 20090805 | ||
| 007 | t| | ||
| 008 | 090720s2009 xx d||| |||| 10||| eng d | ||
| 015 | |a 09,N23,0089 |2 dnb | ||
| 016 | 7 | |a 994394659 |2 DE-101 | |
| 020 | |a 9783642026515 |c PB. : EUR 52.38 (freier Pr.), sfr 76.00 (freier Pr.) |9 978-3-642-02651-5 | ||
| 020 | |a 3642026516 |9 3-642-02651-6 | ||
| 024 | 3 | |a 9783642026515 | |
| 035 | |a (OCoLC)419645564 | ||
| 035 | |a (DE-599)DNB994394659 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-706 |a DE-83 |a DE-11 | ||
| 050 | 0 | |a QA76.76.V47 | |
| 082 | 0 | |a 005.14 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 325f |2 stub | ||
| 245 | 1 | 0 | |a Model checking software |b 16th International SPIN Workshop, Grenoble, France, June 26 - 28, 2009 ; proceedings |c Corina S. Pasareanu (ed.) |
| 264 | 1 | |a Berlin ; Heidelberg [u.a.] |b Springer |c 2009 | |
| 300 | |a X, 295 S. |b graph. Darst. |c 235 mm x 155 mm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 5578 | |
| 630 | 0 | 4 | |a SPIN (Computer file) |v Congresses |
| 650 | 4 | |a Model Checking - Kongress - Grenoble <2009> | |
| 650 | 4 | |a Programmverifikation - Model Checking - Kongress - Grenoble <2009> | |
| 650 | 4 | |a Computer software |x Verification |v Congresses | |
| 650 | 0 | 7 | |a Model Checking |0 (DE-588)4434799-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2009 |z Grenoble |2 gnd-content | |
| 689 | 0 | 0 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 1 | 1 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Păsăreanu, Corina S. |e Sonstige |4 oth | |
| 711 | 2 | |a International SPIN Workshop |n 16 |d 2009 |c Grenoble |j Sonstige |0 (DE-588)16013942-9 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 5578 |w (DE-604)BV000000607 |9 5578 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017691809&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-017691809 | |
Record in the Search Index
| _version_ | 1820875129170690048 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
INVITED CONTRIBUTIONS SOFTWARE MODEL CHECKING IMPROVING SECURITY OF A
BILLION COMPUTERS . . 1 PATRICE GODEFROID
ON QUANTITATIVE SOFTWARE VERIFICATION 2
MARIA KWIATKOWSKA
THE QUEST FOR CORRECTNESS-BEYOND A POSTERIORI VERIFICATION 4 JOSEPH
SIFAKIS
WHO REALLY CARES IF THE PROGRAM CRASHES? 5
WILLEM VISSER
REGULAR PAPERS
TOOL PRESENTATION: TEACHING CONCURRENCY AND MODEL CHECKING 6 MORDECHAI
(MOTI) BEN-ARI
FAST, ALL-PURPOSE STATE STORAGE 12
PETER C. DILLINGER AND PANAGIOTIS (PETE) MANOLIOS
EFFICIENT PROBABILISTIC MODEL CHECKING ON GENERAL PURPOSE GRAPHICS
PROCESSORS 32
DRAGAN BOSNACKI, STEFAN EDELKAMP, AND DAMIAN SULEWSKI
IMPROVING NON-PROGRESS CYCLE CHECKS 50
DAVID FARAGO AND PETER H. SCHMITT
REDUCTION OF VERIFICATION CONDITIONS FOR CONCURRENT SYSTEM USING
MUTUALLY ATOMIC TRANSACTIONS 68
MALAY K. GANAI AND SUDIPTA KUNDU
PROBABILISTIC REACHABILITY FOR PARAMETRIC MARKOV MODELS 88 ERNST MORITZ
HAHN. HOLGER HERMANNS, AND LIJUN ZHANG
EXTRAPOLATION-BASED PATH INVARIANTS FOR ABSTRACTION REFINEMENT OF FIFO
SYSTEMS 107
ALEXANDER HEUSSNER, TRISTAN LE GALL, AND GREGOIRE SUTRE
A DECISION PROCEDURE FOR DETECTING ATOMICITY VIOLATIONS FOR
COMMUNICATING PROCESSES WITH LOCKS 125
NICHOLAS KIDD, PETER LAMMICH, TAYSSIR TOUILI, AND THOMAS REPS
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/994394659
DIGITALISIERT DURCH
IMAGE 2
X TABLE OF CONTENTS
ECLIPSE PLUG-IN FOR SPIN AND ST2MSC TOOLS-TOOL PRESENTATION 143 TIM
KOVSE, BOSTJAN VLAOVIC, ALEKSANDER VREZE, AND ZMAGO BREZOCNIK
SYMBOLIC ANALYSIS VIA SEMANTIC REINTERPRETATION 148
JUNGHEE LIM, AKASH LAI, AND THOMAS REPS
EMMA: EXPLICIT MODEL CHECKING MANAGER (TOOL PRESENTATION) 169 RADEK
PELANEK AND VACLAV ROSECKY
EFFICIENT TESTING OF CONCURRENT PROGRAMS WITH ABSTRACTION-GUIDED
SYMBOLIC EXECUTION 174
NEHA RUNGTA, ERIC G. MERCER, AND WILLEM VISSER
SUBSUMER-FIRST: STEERING SYMBOLIC REACHABILITY ANALYSIS 192
ANDREY RYBALCHENKO AND RISHABH SINGH
IDENTIFYING MODELING ERRORS IN SIGNATURES BY MODEL CHECKING 205
SEBASTIAN SCHMERL, MICHAEL VOGEL, AND HARTMUT KOENIG
TOWARDS VERIFYING CORRECTNESS OF WIRELESS SENSOR NETWORK APPLICATIONS
USING INSENSE AND SPIN 223
OLIVER SHARMA, JONATHAN LEWIS, ALICE MILLER, AL DEARIE, DHARINI
BALASUBRAMANIAM, RON MORRISON, AND JOE SVENTEK
VERIFICATION OF GALS SYSTEMS BY COMBINING SYNCHRONOUS LANGUAGES AND
PROCESS CALCULI 241
HUBERT GARAVEL AND DARNIEN THIVOLLE
EXPERIENCE WITH MODEL CHECKING LINEARIZABILITY 261
MARTIN VECHEV, ERAN YAHAV, AND GRETA YORSH
AUTOMATIC DISCOVERY OF TRANSITION SYMMETRY IN MULTITHREADED PROGRAMS
USING DYNAMIC ANALYSIS 279
YU YANG, XIAOFANG CHEN, GANESH GOPALAKRISHNAN, AND CHAO WANG
AUTHOR INDEX 297 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV035636960 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.V47 |
| callnumber-search | QA76.76.V47 |
| callnumber-sort | QA 276.76 V47 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 4800 |
| classification_tum | DAT 325f |
| ctrlnum | (OCoLC)419645564 (DE-599)DNB994394659 |
| dewey-full | 005.14 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.14 |
| dewey-search | 005.14 |
| dewey-sort | 15.14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV035636960</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20090805</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">090720s2009 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">09,N23,0089</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">994394659</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642026515</subfield><subfield code="c">PB. : EUR 52.38 (freier Pr.), sfr 76.00 (freier Pr.)</subfield><subfield code="9">978-3-642-02651-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642026516</subfield><subfield code="9">3-642-02651-6</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642026515</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)419645564</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB994394659</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.V47</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.14</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Model checking software</subfield><subfield code="b">16th International SPIN Workshop, Grenoble, France, June 26 - 28, 2009 ; proceedings</subfield><subfield code="c">Corina S. Pasareanu (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 295 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">235 mm x 155 mm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">5578</subfield></datafield><datafield tag="630" ind1="0" ind2="4"><subfield code="a">SPIN (Computer file)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Model Checking - Kongress - Grenoble <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmverifikation - Model Checking - Kongress - Grenoble <2009></subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Verification</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2009</subfield><subfield code="z">Grenoble</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Păsăreanu, Corina S.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International SPIN Workshop</subfield><subfield code="n">16</subfield><subfield code="d">2009</subfield><subfield code="c">Grenoble</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16013942-9</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">5578</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5578</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017691809&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017691809</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2009 Grenoble gnd-content |
| genre_facet | Konferenzschrift 2009 Grenoble |
| id | DE-604.BV035636960 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:10:43Z |
| institution | BVB |
| institution_GND | (DE-588)16013942-9 |
| isbn | 9783642026515 3642026516 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017691809 |
| oclc_num | 419645564 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-706 DE-83 DE-11 |
| owner_facet | DE-91G DE-BY-TUM DE-706 DE-83 DE-11 |
| physical | X, 295 S. graph. Darst. 235 mm x 155 mm |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Model checking software 16th International SPIN Workshop, Grenoble, France, June 26 - 28, 2009 ; proceedings Corina S. Pasareanu (ed.) Berlin ; Heidelberg [u.a.] Springer 2009 X, 295 S. graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 5578 SPIN (Computer file) Congresses Model Checking - Kongress - Grenoble <2009> Programmverifikation - Model Checking - Kongress - Grenoble <2009> Computer software Verification Congresses Model Checking (DE-588)4434799-6 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2009 Grenoble gnd-content Model Checking (DE-588)4434799-6 s DE-604 Programmverifikation (DE-588)4135576-3 s Păsăreanu, Corina S. Sonstige oth International SPIN Workshop 16 2009 Grenoble Sonstige (DE-588)16013942-9 oth Lecture Notes in Computer Science 5578 (DE-604)BV000000607 5578 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017691809&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Model checking software 16th International SPIN Workshop, Grenoble, France, June 26 - 28, 2009 ; proceedings Lecture Notes in Computer Science SPIN (Computer file) Congresses Model Checking - Kongress - Grenoble <2009> Programmverifikation - Model Checking - Kongress - Grenoble <2009> Computer software Verification Congresses Model Checking (DE-588)4434799-6 gnd Programmverifikation (DE-588)4135576-3 gnd |
| subject_GND | (DE-588)4434799-6 (DE-588)4135576-3 (DE-588)1071861417 |
| title | Model checking software 16th International SPIN Workshop, Grenoble, France, June 26 - 28, 2009 ; proceedings |
| title_auth | Model checking software 16th International SPIN Workshop, Grenoble, France, June 26 - 28, 2009 ; proceedings |
| title_exact_search | Model checking software 16th International SPIN Workshop, Grenoble, France, June 26 - 28, 2009 ; proceedings |
| title_full | Model checking software 16th International SPIN Workshop, Grenoble, France, June 26 - 28, 2009 ; proceedings Corina S. Pasareanu (ed.) |
| title_fullStr | Model checking software 16th International SPIN Workshop, Grenoble, France, June 26 - 28, 2009 ; proceedings Corina S. Pasareanu (ed.) |
| title_full_unstemmed | Model checking software 16th International SPIN Workshop, Grenoble, France, June 26 - 28, 2009 ; proceedings Corina S. Pasareanu (ed.) |
| title_short | Model checking software |
| title_sort | model checking software 16th international spin workshop grenoble france june 26 28 2009 proceedings |
| title_sub | 16th International SPIN Workshop, Grenoble, France, June 26 - 28, 2009 ; proceedings |
| topic | SPIN (Computer file) Congresses Model Checking - Kongress - Grenoble <2009> Programmverifikation - Model Checking - Kongress - Grenoble <2009> Computer software Verification Congresses Model Checking (DE-588)4434799-6 gnd Programmverifikation (DE-588)4135576-3 gnd |
| topic_facet | SPIN (Computer file) Congresses Model Checking - Kongress - Grenoble <2009> Programmverifikation - Model Checking - Kongress - Grenoble <2009> Computer software Verification Congresses Model Checking Programmverifikation Konferenzschrift 2009 Grenoble |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017691809&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT pasareanucorinas modelcheckingsoftware16thinternationalspinworkshopgrenoblefrancejune26282009proceedings AT internationalspinworkshopgrenoble modelcheckingsoftware16thinternationalspinworkshopgrenoblefrancejune26282009proceedings |