FM 2011: Formal methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20 - 24, 2011 ; proceedings
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2011
|
| Series: | Lecture notes in computer science
6664 |
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Item Description: | Literaturangaben |
| Physical Description: | XIV, 450 S. graph. Darst. 24 cm |
| ISBN: | 9783642214363 3642214363 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV039117888 | ||
| 003 | DE-604 | ||
| 005 | 20111115 | ||
| 007 | t| | ||
| 008 | 110704s2011 xx d||| |||| 10||| eng d | ||
| 015 | |a 11,N18 |2 dnb | ||
| 015 | |a 11,A26 |2 dnb | ||
| 016 | 7 | |a 1011273772 |2 DE-101 | |
| 020 | |a 9783642214363 |c kart. : EUR 66.34 (DE) (freier Pr.), ca. sfr 89.00 (freier Pr.) |9 978-3-642-21436-3 | ||
| 020 | |a 3642214363 |9 3-642-21436-3 | ||
| 024 | 3 | |a 9783642214363 | |
| 028 | 5 | 2 | |a Best.-Nr.: 80063841 |
| 035 | |a (OCoLC)844812234 | ||
| 035 | |a (DE-599)DNB1011273772 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-83 |a DE-91G |a DE-11 | ||
| 082 | 0 | |a 005.131 |2 22/ger | |
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 310f |2 stub | ||
| 111 | 2 | |a FM |n 17 |d 2011 |c Limerick |j Verfasser |0 (DE-588)16161904-6 |4 aut | |
| 245 | 1 | 0 | |a FM 2011: Formal methods |b 17th International Symposium on Formal Methods, Limerick, Ireland, June 20 - 24, 2011 ; proceedings |c Michael Butler ... (ed.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2011 | |
| 300 | |a XIV, 450 S. |b graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 6664 | |
| 500 | |a Literaturangaben | ||
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2011 |z Limerick Shannon |2 gnd-content | |
| 689 | 0 | 0 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Butler, Michael |d 1967- |e Sonstige |0 (DE-588)131558889 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |t FM 2011: Formal Methods |
| 830 | 0 | |a Lecture notes in computer science |v 6664 |w (DE-604)BV000000607 |9 6664 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=3719753&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 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=024136518&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-024136518 | |
Record in the Search Index
| _version_ | 1820875326289346560 |
|---|---|
| adam_text |
IMAGE 1
TABLE OF CONTENTS
INVITED TALKS MODEL INTEGRATION AND CYBER PHYSICAL SYSTEMS: A SEMANTICS
PERSPECTIVE 1
JANOS SZTIPANOVITS
SOME THOUGHTS ON BEHAVIORAL PROGRAMMING 2
DAVID HAREL
THE ONLY WAY IS UP 3
JASMIN FISHER, NIR PITERMAN, AND MOSHE Y. VARDI
CYBER-PHYSICAL SYSTEMS
DOES IT PAY TO EXTEND THE PERIMETER OF A WORLD MODEL? 12
WERNER DAMM AND BERND FINKBEINER
SYSTEM VERIFICATION THROUGH PROGRAM VERIFICATION 27
DANIEL DIETSCH, BERND WESTPHAL, AND ANDREAS PODELSKI
ADAPTIVE CRUISE CONTROL: HYBRID, DISTRIBUTED, AND NOW FORMALLY VERIFIED
42
SARAH M. LOOS. ANDRE PLATZER, AND LIGIA NISTOR
RUNTIME ANALYSIS
TRACECONTRACT: A SCALA DSL FOR TRACE ANALYSIS 57
HOWARD BARRINGER AND KLAUS HAVELUND
USING DEBUGGERS TO UNDERSTAND FAILED VERIFICATION ATTEMPTS 73 PETER
MUELLER AND JOSEPH N. RUSKIEWICZ
SAMPLING-BASED RUNTIME VERIFICATION 88
BORZOO BONAKDARPOUR, SAMANEH NAVABPOUR, AND SEBASTIAN FISCHMEISTER
CASE STUDIES / TOOLS
SPECIFYING AND VERIFYING THE SYNERGY RECONFIGURATION PROTOCOL WITH LOTOS
NT AND CADP 103
FABIENNE BOYER, OLIVIER GRUBER, AND GWEN SALAIIN
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1011273772
DIGITALISIERT DURCH
IMAGE 2
XII TABLE OF CONTENTS
FORMAL DEVELOPMENT OF A TOOL FOR AUTOMATED MODELLING AND VERIFICATION OF
RELAY INTERLOCKING SYSTEMS 118
ANNE E. HAXTHAUSEN, ANDREAS A. KJTER, AND MARIE LE BLIGUET
RELATIONAL REASONING VIA SMT SOLVING 133
ABOUBAKR ACHRAF EL GHAZI AND MANA TAGHDIRI
BUILDING VCL MODELS AND AUTOMATICALLY GENERATING Z SPECIFICATIONS FROM
THEM 149
NUNO AMDLIO, CHRISTIAN GLODT, AND PIERRE KELSEN
EXPERIENCE
THE 1ST VERIFIED SOFTWARE COMPETITION: EXPERIENCE REPORT 154 VLADIMIR
KLEBANOV, PETER MUELLER, NATARAJAN SHANKAR, GARY T. LEAVENS, VALENTIN
WUESTHOLZ, EYAD ALKASSAR, ROB ARTHAN, DEREK BRONISH, ROD CHAPMAN, ERNIE
COHEN, MARK HILLEBRAND,
BART JACOBS, K. RUSTAN M. LEINO, ROSEMARY MONAHAN, FRANK PIESSENS, NADIA
POLIKARPOVA, TOM RIDGE, JAN SMANS, STEPHAN TOBIES, THOMAS TUERK, MATTIAS
ULBRICH, AND BENJAMIN WEISS
PROGRAM COMPILATION AND TRANSFORMATION
VALIDATED COMPILATION THROUGH LOGIC 169
GUODONG LI
CERTIFICATION OF SAFE POLYNOMIAL MEMORY BOUNDS 184
JAVIER DE DIOS AND RICARDO PEFIA
RELATIONAL VERIFICATION USING PRODUCT PROGRAMS 200
GILLES BARTHE, JUAN MANUEL CRESPO, AND CESAR KUNZ
SECURITY
SPECIFYING CONFIDENTIALITY IN CIRCUS 215
MICHAEL J. BANKS AND JEREMY L. JACOB
FORMALLY VERIFYING ISOLATION AND AVAILABILITY IN AN IDEALIZED MODEL OF
VIRTUALIZATION 231
GILLES BARTHE, GUSTAVO BETARTE, JUAN DIEGO CAVNPO, AND CARLOS LUNA
IMAGE 3
TABLE OF CONTENTS XIII
THE SAFETY-CRITICAL JAVA MEMORY MODEL: A FORMAL ACCOUNT 246 ANA
CAVALCANTI, ANDY WELLINGS, AND JIM WOODCOCK
PROCESS ALGEBRA
FAILURE-DIVERGENCE REFINEMENT OF COMPENSATING COMMUNICATING PROCESSES
262
ZHENBANG CHEN, ZHIMING LIU, AND JI WANG
TERMINATION WITHOUT / IN CSP 278
STEVE DUNNE
TIMED MIGRATION AND INTERACTION WITH ACCESS PERMISSIONS 293 GABRIEL
CIOBANU AND MACIEJ KOUTNY
EDUCATION
FROM A COMMUNITY OF PRACTICE TO A BODY OF KNOWLEDGE: A CASE STUDY OF THE
FORMAL METHODS COMMUNITY 308
JONATHAN P. BOWEN AND STEVE REEVES
CONCURRENCY
VERIFYING LINEARISABILITY WITH POTENTIAL LINEARISATION POINTS 323 JOHN
DERRICK, GERHARD SCHELLHORN, AND HEIKE WEHRHEIM
R E F I N E M E N T - B A S ED V E R I F I C A T I ON OF L O C AL S Y N
C H R O N I Z A T I ON A L G O R I T H MS . . . 3 38
DOMINIQUE MIRY, MOHAMED MOSBAH, AND MOHAMED TOUNSI
SIMULATING CONCURRENT BEHAVIORS WITH WORST-CASE COST BOUNDS 353 ELVIRA
ALBERT, SAMIR GENAIM, AIIGUEL GOMEZ-ZAMALLOA, EINAR BROCH JOHNSEN,
RUDOLF SCHLATTE, AND S. LIZETH TAPIA TARIFA
DYNAMIC STRUCTURES
AUTOMATICALLY REFINING PARTIAL SPECIFICATIONS FOR PROGRAM VERIFICATION
3G9
SHENGCHAO QIN, CHENGUANG LUO, WEI-NGAN CHIN, AND GUANHUA HE
STRUCTURED SPECIFICATIONS FOR BETTER VERIFICATION OF HEAP-MANIPULATING
PROGRAMS 380
CRISTIAN GHERGHINA, CRISTINA DAVID, SHENGCHAO QIN, AND WEI-NGAN CHIN
VERIFICATION OF UNLOADABLE MODULES 402
BART JACOBS, JAN SMARTS, AND FRANK PIESSENS
IMAGE 4
XIV TABLE OF CONTENTS
MODEL CHECKING
A MULTI-ENCODING APPROACH FOR LTL SYMBOLIC SATISFIABILITY CHECKING. .
417 KRISTIN Y. ROZIER AND MOSHE Y. VARDI
ON COMBINING STATE SPACE REDUCTIONS WITH GLOBAL FAIRNESS ASSUMPTIONS 432
SHAO JIE ZHANG, JUN SUN, JUN PANG, YANG LIU, AND JIN SONG DONG
AUTHOR INDEX 449 |
| any_adam_object | 1 |
| author_GND | (DE-588)131558889 |
| author_corporate | FM Limerick |
| author_corporate_role | aut |
| author_facet | FM Limerick |
| author_sort | FM Limerick |
| building | Verbundindex |
| bvnumber | BV039117888 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 510f DAT 310f |
| ctrlnum | (OCoLC)844812234 (DE-599)DNB1011273772 |
| dewey-full | 005.131 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.131 |
| dewey-search | 005.131 |
| dewey-sort | 15.131 |
| 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">BV039117888</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20111115</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">110704s2011 xx d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,N18</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">11,A26</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1011273772</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642214363</subfield><subfield code="c">kart. : EUR 66.34 (DE) (freier Pr.), ca. sfr 89.00 (freier Pr.)</subfield><subfield code="9">978-3-642-21436-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642214363</subfield><subfield code="9">3-642-21436-3</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642214363</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 80063841</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)844812234</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1011273772</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</subfield><subfield code="2">stub</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 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">FM</subfield><subfield code="n">17</subfield><subfield code="d">2011</subfield><subfield code="c">Limerick</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)16161904-6</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">FM 2011: Formal methods</subfield><subfield code="b">17th International Symposium on Formal Methods, Limerick, Ireland, June 20 - 24, 2011 ; proceedings</subfield><subfield code="c">Michael Butler ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 450 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">24 cm</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">6664</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-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">2011</subfield><subfield code="z">Limerick Shannon</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Butler, Michael</subfield><subfield code="d">1967-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)131558889</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="t">FM 2011: Formal Methods</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6664</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6664</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3719753&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</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=024136518&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-024136518</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2011 Limerick Shannon gnd-content |
| genre_facet | Konferenzschrift 2011 Limerick Shannon |
| id | DE-604.BV039117888 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:13:51Z |
| institution | BVB |
| institution_GND | (DE-588)16161904-6 |
| isbn | 9783642214363 3642214363 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024136518 |
| oclc_num | 844812234 |
| open_access_boolean | |
| owner | DE-706 DE-83 DE-91G DE-BY-TUM DE-11 |
| owner_facet | DE-706 DE-83 DE-91G DE-BY-TUM DE-11 |
| physical | XIV, 450 S. graph. Darst. 24 cm |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | FM 17 2011 Limerick Verfasser (DE-588)16161904-6 aut FM 2011: Formal methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20 - 24, 2011 ; proceedings Michael Butler ... (ed.) Berlin [u.a.] Springer 2011 XIV, 450 S. graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6664 Literaturangaben Formale Methode (DE-588)4333722-3 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2011 Limerick Shannon gnd-content Formale Methode (DE-588)4333722-3 s DE-604 Butler, Michael 1967- Sonstige (DE-588)131558889 oth Erscheint auch als Online-Ausgabe FM 2011: Formal Methods Lecture notes in computer science 6664 (DE-604)BV000000607 6664 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3719753&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024136518&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | FM 2011: Formal methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20 - 24, 2011 ; proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)1071861417 |
| title | FM 2011: Formal methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20 - 24, 2011 ; proceedings |
| title_auth | FM 2011: Formal methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20 - 24, 2011 ; proceedings |
| title_exact_search | FM 2011: Formal methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20 - 24, 2011 ; proceedings |
| title_full | FM 2011: Formal methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20 - 24, 2011 ; proceedings Michael Butler ... (ed.) |
| title_fullStr | FM 2011: Formal methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20 - 24, 2011 ; proceedings Michael Butler ... (ed.) |
| title_full_unstemmed | FM 2011: Formal methods 17th International Symposium on Formal Methods, Limerick, Ireland, June 20 - 24, 2011 ; proceedings Michael Butler ... (ed.) |
| title_short | FM 2011: Formal methods |
| title_sort | fm 2011 formal methods 17th international symposium on formal methods limerick ireland june 20 24 2011 proceedings |
| title_sub | 17th International Symposium on Formal Methods, Limerick, Ireland, June 20 - 24, 2011 ; proceedings |
| topic | Formale Methode (DE-588)4333722-3 gnd |
| topic_facet | Formale Methode Konferenzschrift 2011 Limerick Shannon |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=3719753&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024136518&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT fmlimerick fm2011formalmethods17thinternationalsymposiumonformalmethodslimerickirelandjune20242011proceedings AT butlermichael fm2011formalmethods17thinternationalsymposiumonformalmethodslimerickirelandjune20242011proceedings |