default search action
Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday: 2022
- Wolfgang Ahrendt
, Bernhard Beckert
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 13360, Springer 2022, ISBN 978-3-031-08165-1 - Ole Jørgen Abusdal, Crystal Chang Din, Violet Ka I Pun, Volker Stolz:
I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking. 1-18 - Elvira Albert, Samir Genaim, Alicia Merayo, Guillermo Román-Díez:
When COSTA Met KeY: Verified Cost Bounds. 19-37 - Alexander Bainczyk, Bernhard Steffen, Falk Howar:
Lifelong Learning of Reactive Systems in Practice. 38-53 - Roberto Guanciale, Christoph Baumann, Pablo Buiras, Mads Dam, Hamed Nemati
A Case Study in Information Flow Refinement for Low Level Systems. 54-79 - Tabea Bordis
Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY. 80-104 - David R. Cok
Specifying the Boundary Between Unverified and Verified Code. 105-128 - Silvia Crafa, Cosimo Laneve:
Programming Legal Contracts - A Beginners Guide to Stipula. 129-146 - Ferruccio Damiani, Michael Lienhardt, Bruno Maugars, Bertrand Michel:
Towards a Modular and Variability-Aware Aerodynamic Simulator. 147-172 - Frank S. de Boer, Stijn de Gouw:
Reasoning About Active Objects: A Sound and Complete Assertional Proof Method. 173-192 - Jürgen Giesl
Improving Automatic Complexity Analysis of Integer Programs. 193-228 - Dilian Gurov, Christian Lidström, Philipp Rümmer:
Alice in Wineland: A Fairy Tale with Contracts. 229-242 - Marieke Huisman
Teaching Design by Contract Using Snap! 243-263 - Eduard Kamburjan
On the Notion of Naturalness in Formal Modeling. 264-289 - Jonas Klamroth, Florian Lanzinger
The Karlsruhe Java Verification Suite. 290-312 - Gary T. Leavens, David R. Cok, Amirfarhad Nilizadeh:
Further Lessons from the JML Project. 313-349 - Chu Min Li, Felip Manyà:
Inference in MaxSAT and MinSAT. 350-369 - Wojciech Mostowski:
Implications of Deductive Verification on Research Quality - Field Study. 370-381 - Daniele Mundici
Computing in Łukasiewicz Logic and AF-Algebras. 382-396 - Aarne Ranta:
Speaking About Wine: Another Case Study in Bridging the Gap Between Formal and Informal Knowledge. 397-407 - Gerhard Schellhorn, Stefan Bodenmüller
Software & System Verification with KIV. 408-436 - Rudolf Schlatte
A Note on Idleness Detection of Actor Systems. 437-445 - Dominic Steinhöfel
Symbolic Execution: Foundations, Techniques, Applications, and Future Perspectives. 446-480 - Silvia Lizeth Tapia Tarifa
Locally Abstract Globally Concrete Semantics of Time and Resource Aware Active Objects. 481-499 - Nathan Wasser:
Transparent Treatment of for-Loops in Proofs. 500-519
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: