Overview

Full Product Details

Author:   Wolfgang Ahrendt ,  Bernhard Beckert ,  Richard Bubel ,  Einar Broch Johnsen
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Edition:   1st ed. 2022
Volume:   13360
Dimensions:   Width: 15.50cm , Height: 2.70cm , Length: 23.50cm
Weight:   0.813kg
ISBN:  

9783031081651

ISBN 10:   303108165
Pages:   521
Publication Date:   16 June 2022
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

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.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions