Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday - Softcover

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.