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.).
Hähnle, Reiner, honouree.; Ahrendt, Wolfgang, editor.; Beckert, Bernhard, editor.; Bubel, Richard, editor.; Johnsen, Einar Broch, editor.
2022
QA76.9.L63
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title 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.).
ISBN 9783031081668 (electronic bk.)
3031081668 (electronic bk.)
9783031081651 (print)
DOI https://doi.org/10.1007/978-3-031-08166-8
Published Cham, Switzerland : Springer, 2022.
Language English
Description 1 online resource (xii, 521 pages) : illustrations (some color).
Other Standard Identifiers 10.1007/978-3-031-08166-8 doi
Call Number QA76.9.L63
Dewey Decimal Classification 005.101/5113
Summary 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.
Note Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed July 6, 2022).
Added Author Hähnle, Reiner, honouree.
Ahrendt, Wolfgang, editor.
Beckert, Bernhard, editor.
Bubel, Richard, editor.
Johnsen, Einar Broch, editor.
Series Lecture notes in computer science ; 13360. 1611-3349
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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. .

Browse Subjects

Show more subjects...

Statistics

from
to
Export