The Logic of Software. A Tasting Menu of Formal Methods

Keyphrases

Publications

2022

Gary T. Leavens, David R. Cok, Amirfarhad Nilizadeh
Further Lessons from the JML Project. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Dominic Steinhöfel
Symbolic Execution: Foundations, Techniques, Applications, and Future Perspectives. The Logic of Software. A Tasting Menu of Formal Methods (2022)
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. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Daniele Mundici
Computing in Łukasiewicz Logic and AF-Algebras. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Jonas Klamroth, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich
The Karlsruhe Java Verification Suite. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Chu Min Li, Felip Manyà
Inference in MaxSAT and MinSAT. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Marieke Huisman, Raúl E. Monti
Teaching Design by Contract Using Snap! The Logic of Software. A Tasting Menu of Formal Methods (2022)
Wojciech Mostowski
Implications of Deductive Verification on Research Quality - Field Study. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Frank S. de Boer, Stijn de Gouw
Reasoning About Active Objects: A Sound and Complete Assertional Proof Method. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Ole Jørgen Abusdal, Crystal Chang Din, Violet Ka I Pun, Volker Stolz
I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Rudolf Schlatte
A Note on Idleness Detection of Actor Systems. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Ferruccio Damiani, Michael Lienhardt, Bruno Maugars, Bertrand Michel
Towards a Modular and Variability-Aware Aerodynamic Simulator. The Logic of Software. A Tasting Menu of Formal Methods (2022)
David R. Cok, K. Rustan M. Leino
Specifying the Boundary Between Unverified and Verified Code. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Eduard Kamburjan, Sandro Rama Fiorini
On the Notion of Naturalness in Formal Modeling. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Dilian Gurov, Christian Lidström, Philipp Rümmer
Alice in Wineland: A Fairy Tale with Contracts. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Silvia Crafa, Cosimo Laneve
Programming Legal Contracts - A Beginners Guide to Stipula. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Silvia Lizeth Tapia Tarifa
Locally Abstract Globally Concrete Semantics of Time and Resource Aware Active Objects. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Gerhard Schellhorn, Stefan Bodenmüller, Martin Bitterlich, Wolfgang Reif
Software & System Verification with KIV. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Nathan Wasser
Transparent Treatment of for-Loops in Proofs. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Elvira Albert, Samir Genaim, Alicia Merayo, Guillermo Román-Díez
When COSTA Met KeY: Verified Cost Bounds. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Alexander Bainczyk, Bernhard Steffen, Falk Howar
Lifelong Learning of Reactive Systems in Practice. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Roberto Guanciale, Christoph Baumann, Pablo Buiras, Mads Dam, Hamed Nemati
A Case Study in Information Flow Refinement for Low Level Systems. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Aarne Ranta
Speaking About Wine: Another Case Study in Bridging the Gap Between Formal and Informal Knowledge. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Jürgen Giesl, Nils Lommen, Marcel Hark, Fabian Meyer
Improving Automatic Complexity Analysis of Integer Programs. The Logic of Software. A Tasting Menu of Formal Methods (2022)

volume 13360, 2022

The Logic of Software. A Tasting Menu of Formal Methods - Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday The Logic of Software. A Tasting Menu of Formal Methods 13360 (2022)