The logic of software: a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday
I can see clearly now: Clairvoyant Assertions for Deadlock Checking -- When COSTA met KeY: Verified Cost Bounds -- Lifelong Learning of Reactive Systems in Practice -- A Case Study in Information Flow Re nement for Low Level Systems -- Re-CorC-ing KeY: Correct-by-Construction Software Development ba...
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2022]
|
| Schriftenreihe: | Lecture Notes in Computer Science
13360 |
| Schlagworte: | |
| Online-Zugang: | Cover |
| Zusammenfassung: | I can see clearly now: Clairvoyant Assertions for Deadlock Checking -- When COSTA met KeY: Verified Cost Bounds -- Lifelong Learning of Reactive Systems in Practice -- A Case Study in Information Flow Re nement for Low Level Systems -- Re-CorC-ing KeY: Correct-by-Construction Software Development based on KeY -- Specifying the boundary between unverified and verified code -- Programming legal contracts - a beginners guide to Stipula -- Towards a Modular and Variability-aware Aerodynamic Simulator -- Reasoning about Active Objects: A Sound and Complete Assertional Proof Method -- Improving Automatic Complexity Analysis of Integer Programs -- Alice in Wineland: A Fairy Tale with Contracts -- Teaching Design by Contract using Snap -- On the Notion of Naturalness in Formal Modeling -- The Karlsruhe Java Verification Suite -- Further Lessons from the JML Project -- Inference in MaxSAT and MinSAT -- Implications of Deductive Verification on Research Quality -- Computing in Lukasiewicz logic and AF-algebras -- Speaking about Wine: Another Case Study in Bridging the Gap between Formal and Informal Knowledge -- Software & System Verification with KIV -- A Note on Idleness Detection of Actor Systems -- Symbolic Execution: Foundations, Techniques, Applications, and Future Perspectives -- Locally Abstract Globally Concrete Semantics of Time and Resource Aware Active Objects -- Transparent Treatment of for-Loops in Proofs. This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software Engineering at Technische Universität Darmstadt, where his team focuses on the formal verification of object-oriented software, the formal modeling and specification of highly adaptive software systems, and formal modeling and analysis in domains such as biological systems and railroad operations. His work is characterized by achievements in theory and in practical implementations, significant collaborations include the KeY project and the development of the ABS language. He has served as chair and editor of important related academic conferences, and coauthored almost 200 academic publications. The contributions in this volume reflect Reiner’s main research focus: formal methods, in particular applied to software verification |
| Beschreibung: | xii, 521 Seiten Illustrationen, Diagramme |
| ISBN: | 9783031081651 |
Internformat
MARC
| LEADER | 00000nam a22000001cb4500 | ||
|---|---|---|---|
| 001 | BV048325003 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 220712s2022 sz a||| |||| 01||| eng d | ||
| 020 | |a 9783031081651 |9 978-3-031-08165-1 | ||
| 035 | |a (OCoLC)1335398252 | ||
| 035 | |a (DE-599)BVBBV048325003 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 044 | |a sz |c XA-CH | ||
| 049 | |a DE-83 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 245 | 1 | 0 | |a The logic of software |b a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday |c Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2022] | |
| 300 | |a xii, 521 Seiten |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 13360 | |
| 520 | 3 | |a I can see clearly now: Clairvoyant Assertions for Deadlock Checking -- When COSTA met KeY: Verified Cost Bounds -- Lifelong Learning of Reactive Systems in Practice -- A Case Study in Information Flow Re nement for Low Level Systems -- Re-CorC-ing KeY: Correct-by-Construction Software Development based on KeY -- Specifying the boundary between unverified and verified code -- Programming legal contracts - a beginners guide to Stipula -- Towards a Modular and Variability-aware Aerodynamic Simulator -- Reasoning about Active Objects: A Sound and Complete Assertional Proof Method -- Improving Automatic Complexity Analysis of Integer Programs -- Alice in Wineland: A Fairy Tale with Contracts -- Teaching Design by Contract using Snap -- On the Notion of Naturalness in Formal Modeling -- The Karlsruhe Java Verification Suite -- Further Lessons from the JML Project -- Inference in MaxSAT and MinSAT -- Implications of Deductive Verification on Research Quality -- Computing in Lukasiewicz logic and AF-algebras -- Speaking about Wine: Another Case Study in Bridging the Gap between Formal and Informal Knowledge -- Software & System Verification with KIV -- A Note on Idleness Detection of Actor Systems -- Symbolic Execution: Foundations, Techniques, Applications, and Future Perspectives -- Locally Abstract Globally Concrete Semantics of Time and Resource Aware Active Objects -- Transparent Treatment of for-Loops in Proofs. | |
| 520 | 3 | |a This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software Engineering at Technische Universität Darmstadt, where his team focuses on the formal verification of object-oriented software, the formal modeling and specification of highly adaptive software systems, and formal modeling and analysis in domains such as biological systems and railroad operations. His work is characterized by achievements in theory and in practical implementations, significant collaborations include the KeY project and the development of the ABS language. He has served as chair and editor of important related academic conferences, and coauthored almost 200 academic publications. The contributions in this volume reflect Reiner’s main research focus: formal methods, in particular applied to software verification | |
| 653 | 0 | |a Software engineering | |
| 653 | 0 | |a Computer engineering | |
| 653 | 0 | |a Computer networks | |
| 653 | 0 | |a Computer science | |
| 655 | 7 | |0 (DE-588)4016928-5 |a Festschrift |2 gnd-content | |
| 700 | 1 | |a Ahrendt, Wolfgang |0 (DE-588)1201890020 |4 edt | |
| 700 | 1 | |a Hähnle, Reiner |0 (DE-588)136037542 |4 hnr | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-031-08166-8 |
| 830 | 0 | |a Lecture Notes in Computer Science |v 13360 |w (DE-604)BV000000607 |9 13360 | |
| 856 | 4 | 2 | |m V:DE-576 |m X:SPRINGER |q image/jpeg |u https://swbplus.bsz-bw.de/bsz180913059xcov.jpg |v 20220705153212 |3 Cover |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-033704301 | ||
Datensatz im Suchindex
| _version_ | 1804184184128798720 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Ahrendt, Wolfgang |
| author2_role | edt |
| author2_variant | w a wa |
| author_GND | (DE-588)1201890020 (DE-588)136037542 |
| author_facet | Ahrendt, Wolfgang |
| building | Verbundindex |
| bvnumber | BV048325003 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1335398252 (DE-599)BVBBV048325003 |
| dewey-full | 005.1 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1 |
| dewey-search | 005.1 |
| dewey-sort | 15.1 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04084nam a22004331cb4500</leader><controlfield tag="001">BV048325003</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">220712s2022 sz a||| |||| 01||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031081651</subfield><subfield code="9">978-3-031-08165-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1335398252</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV048325003</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">sz</subfield><subfield code="c">XA-CH</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The logic of software</subfield><subfield code="b">a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday</subfield><subfield code="c">Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2022]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xii, 521 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</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">13360</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">I can see clearly now: Clairvoyant Assertions for Deadlock Checking -- When COSTA met KeY: Verified Cost Bounds -- Lifelong Learning of Reactive Systems in Practice -- A Case Study in Information Flow Re nement for Low Level Systems -- Re-CorC-ing KeY: Correct-by-Construction Software Development based on KeY -- Specifying the boundary between unverified and verified code -- Programming legal contracts - a beginners guide to Stipula -- Towards a Modular and Variability-aware Aerodynamic Simulator -- Reasoning about Active Objects: A Sound and Complete Assertional Proof Method -- Improving Automatic Complexity Analysis of Integer Programs -- Alice in Wineland: A Fairy Tale with Contracts -- Teaching Design by Contract using Snap -- On the Notion of Naturalness in Formal Modeling -- The Karlsruhe Java Verification Suite -- Further Lessons from the JML Project -- Inference in MaxSAT and MinSAT -- Implications of Deductive Verification on Research Quality -- Computing in Lukasiewicz logic and AF-algebras -- Speaking about Wine: Another Case Study in Bridging the Gap between Formal and Informal Knowledge -- Software & System Verification with KIV -- A Note on Idleness Detection of Actor Systems -- Symbolic Execution: Foundations, Techniques, Applications, and Future Perspectives -- Locally Abstract Globally Concrete Semantics of Time and Resource Aware Active Objects -- Transparent Treatment of for-Loops in Proofs.</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software Engineering at Technische Universität Darmstadt, where his team focuses on the formal verification of object-oriented software, the formal modeling and specification of highly adaptive software systems, and formal modeling and analysis in domains such as biological systems and railroad operations. His work is characterized by achievements in theory and in practical implementations, significant collaborations include the KeY project and the development of the ABS language. He has served as chair and editor of important related academic conferences, and coauthored almost 200 academic publications. The contributions in this volume reflect Reiner’s main research focus: formal methods, in particular applied to software verification</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Software engineering</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Computer engineering</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Computer networks</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Computer science</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4016928-5</subfield><subfield code="a">Festschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ahrendt, Wolfgang</subfield><subfield code="0">(DE-588)1201890020</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hähnle, Reiner</subfield><subfield code="0">(DE-588)136037542</subfield><subfield code="4">hnr</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-031-08166-8</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">13360</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">13360</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">V:DE-576</subfield><subfield code="m">X:SPRINGER</subfield><subfield code="q">image/jpeg</subfield><subfield code="u">https://swbplus.bsz-bw.de/bsz180913059xcov.jpg</subfield><subfield code="v">20220705153212</subfield><subfield code="3">Cover</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-033704301</subfield></datafield></record></collection> |
| genre | (DE-588)4016928-5 Festschrift gnd-content |
| genre_facet | Festschrift |
| id | DE-604.BV048325003 |
| illustrated | Illustrated |
| index_date | 2024-07-03T20:12:45Z |
| indexdate | 2024-07-10T09:35:18Z |
| institution | BVB |
| isbn | 9783031081651 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-033704301 |
| oclc_num | 1335398252 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xii, 521 Seiten Illustrationen, Diagramme |
| publishDate | 2022 |
| publishDateSearch | 2022 |
| publishDateSort | 2022 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | The logic of software a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen (eds.) Cham Springer [2022] xii, 521 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 13360 I can see clearly now: Clairvoyant Assertions for Deadlock Checking -- When COSTA met KeY: Verified Cost Bounds -- Lifelong Learning of Reactive Systems in Practice -- A Case Study in Information Flow Re nement for Low Level Systems -- Re-CorC-ing KeY: Correct-by-Construction Software Development based on KeY -- Specifying the boundary between unverified and verified code -- Programming legal contracts - a beginners guide to Stipula -- Towards a Modular and Variability-aware Aerodynamic Simulator -- Reasoning about Active Objects: A Sound and Complete Assertional Proof Method -- Improving Automatic Complexity Analysis of Integer Programs -- Alice in Wineland: A Fairy Tale with Contracts -- Teaching Design by Contract using Snap -- On the Notion of Naturalness in Formal Modeling -- The Karlsruhe Java Verification Suite -- Further Lessons from the JML Project -- Inference in MaxSAT and MinSAT -- Implications of Deductive Verification on Research Quality -- Computing in Lukasiewicz logic and AF-algebras -- Speaking about Wine: Another Case Study in Bridging the Gap between Formal and Informal Knowledge -- Software & System Verification with KIV -- A Note on Idleness Detection of Actor Systems -- Symbolic Execution: Foundations, Techniques, Applications, and Future Perspectives -- Locally Abstract Globally Concrete Semantics of Time and Resource Aware Active Objects -- Transparent Treatment of for-Loops in Proofs. This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After positions at Karlsruhe Institute of Technology and Chalmers University of Technology, since 2011 Reiner has been the chaired professor of Software Engineering at Technische Universität Darmstadt, where his team focuses on the formal verification of object-oriented software, the formal modeling and specification of highly adaptive software systems, and formal modeling and analysis in domains such as biological systems and railroad operations. His work is characterized by achievements in theory and in practical implementations, significant collaborations include the KeY project and the development of the ABS language. He has served as chair and editor of important related academic conferences, and coauthored almost 200 academic publications. The contributions in this volume reflect Reiner’s main research focus: formal methods, in particular applied to software verification Software engineering Computer engineering Computer networks Computer science (DE-588)4016928-5 Festschrift gnd-content Ahrendt, Wolfgang (DE-588)1201890020 edt Hähnle, Reiner (DE-588)136037542 hnr Erscheint auch als Online-Ausgabe 978-3-031-08166-8 Lecture Notes in Computer Science 13360 (DE-604)BV000000607 13360 V:DE-576 X:SPRINGER image/jpeg https://swbplus.bsz-bw.de/bsz180913059xcov.jpg 20220705153212 Cover |
| spellingShingle | The logic of software a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday Lecture Notes in Computer Science |
| subject_GND | (DE-588)4016928-5 |
| title | The logic of software a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday |
| title_auth | The logic of software a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday |
| title_exact_search | The logic of software a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday |
| title_exact_search_txtP | The logic of software a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday |
| title_full | The logic of software a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen (eds.) |
| title_fullStr | The logic of software a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen (eds.) |
| title_full_unstemmed | The logic of software a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen (eds.) |
| title_short | The logic of software |
| title_sort | the logic of software a tasting menu of formal methods essays dedicated to reiner hahnle on the occasion of his 60th birthday |
| title_sub | a tasting menu of formal methods : essays dedicated to Reiner Hähnle on the occasion of his 60th birthday |
| topic_facet | Festschrift |
| url | https://swbplus.bsz-bw.de/bsz180913059xcov.jpg |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT ahrendtwolfgang thelogicofsoftwareatastingmenuofformalmethodsessaysdedicatedtoreinerhahnleontheoccasionofhis60thbirthday AT hahnlereiner thelogicofsoftwareatastingmenuofformalmethodsessaysdedicatedtoreinerhahnleontheoccasionofhis60thbirthday |