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
- Title:
- 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)
- Main Title:
- Theory and practice of formal methods : Essays dedicated to Frank de Boer on the occasion of his 60th birthday
- 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.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.355626
- Ingest File:
- 02_338.xml