


default search action
Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday: 2022
- Wolfgang Ahrendt

, Bernhard Beckert
, Richard Bubel, Einar Broch Johnsen
:
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

, Loek Cleophas, Alexander Kittelmann, Tobias Runge, Ina Schaefer
, Bruce W. Watson:
Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY. 80-104 - David R. Cok

, K. Rustan M. Leino
:
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

, Nils Lommen
, Marcel Hark
, Fabian Meyer
:
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

, Raúl E. Monti
:
Teaching Design by Contract Using Snap! 243-263 - Eduard Kamburjan

, Sandro Rama Fiorini:
On the Notion of Naturalness in Formal Modeling. 264-289 - Jonas Klamroth, Florian Lanzinger

, Wolfram Pfeifer
, Mattias Ulbrich
:
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

, Martin Bitterlich, Wolfgang Reif:
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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














