Theory and practice of formal methods : Essays dedicated to Frank de Boer on the occasion of his 60th birthday /: Essays dedicated to Frank de Boer on the occasion of his 60th birthday. (2016)

• Record Type: Book
• Further Information: Note: Erika Abraham, Marcello Bonsangue, Einar Broch Johnsen (Eds.).
• Editors: Ábrahám, Erika; Bonsangue, Marcello M; Johnsen, Einar Broch
• Other Names: Boer, Frank S. de honouree.
• Contents: Program Verification: to Err is Human.- Fond (and Frank) Memories of Frank.- Warmest Congratulations, Frank.- Conformance Checking of Real-Time Models: Symbolic Execution vs. Bounded Model Checking.- Resource Analysis of Distributed Systems.- Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification.- Proper Protocol.- A Compositional Approach to the Verification of Hybrid Systems.- Array Abstraction with Symbolic Pivots.- Modeling Role-Based Systems with Exogenous Coordination.- Vats: A Safe, Reactive Storage Abstraction.- Denotational and Operational Preciseness of Subtyping: A Roadmap.- A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs.- Self-Reconfiguring Microservices.- Statically and Dynamically Verifiable SLA metrics.- Effectively Eliminating Auxiliaries.- Towards a Proof Method for Paradigm.- Toward a Formal Foundation for Time Travel in Stories and Games.- Industrial Application of Formal Models Generated from Domain Specific Languages.- Formal Verification of Open Normative Multi-Agent System.- Moessner's Theorem: An Exercise in Coinductive Reasoning in Coq.- Towards a Kool Future.- On the Expressiveness of Synchronization in Component Deployment.- Characterisation of Simulation by Probabilistic Testing.- On Time Actors.- A Small-Step Semantics of a Concurrent Calculus with Goroutines and Deferred Functions.- Quicksort Revisited - Verifying Alternative Versions of Quicksort.
• Publisher Details: Cham : Springer
• Publication Date: 2016
• Copyright Date: 2016
• Extent: 1 online resource (427 pages)
• Subjects: 004.0151; Computer science; Formal methods (Computer science); Computer science -- Mathematics; Logic design; Software engineering; Computer software; Artificial intelligence; Computers -- Software Development & Engineering -- General; Computers -- Programming -- Algorithms; Mathematics -- Logic; Computers -- Programming Languages -- General; Computers -- Intelligence (AI) & Semantics; Software Engineering; Algorithms & data structures; Mathematical theory of computation; Programming & scripting languages: general; Artificial intelligence; Computers -- Programming -- General; Computer programming / software development
• Languages: English
• ISBNs: 9783319307343
• Related ISBNs: 9783319307336
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.