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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Ábrahám, Erika (Επιμελητής έκδοσης), Bonsangue, Marcello (Επιμελητής έκδοσης), Johnsen, Einar Broch (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Σειρά: Lecture Notes in Computer Science, 9660
• Θέματα: Computer science.; Software engineering.; Programming languages (Electronic computers).; Algorithms.; Computer logic.; Mathematical logic.; Artificial intelligence.; Computer Science.; Logics and Meanings of Programs.; Software Engineering.; Algorithm Analysis and Problem Complexity.; Mathematical Logic and Formal Languages.; Programming Languages, Compilers, Interpreters.; Artificial Intelligence (incl. Robotics).

This Festschrift volume has been published in honor of Frank de Boer, on the occasion of his 60th birthday. Frank S. de Boer is a prominent member of the research community in formal methods and theoretical computer science. A brief look at his lengthy publication list reveals a broad area of intere...

Πίνακας περιεχομένων:

• 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.