Theory and Practice of Formal Methods
Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
(Sprache: Englisch)
This Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 60th birthday.
Frank S. de Boer is a prominent member of the research community in formalmethods and theoretical computer science. A brief look at his...
Frank S. de Boer is a prominent member of the research community in formalmethods and theoretical computer science. A brief look at his...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
53.49 €
Produktdetails
Produktinformationen zu „Theory and Practice of Formal Methods “
Klappentext zu „Theory and Practice of Formal Methods “
This Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 60th birthday.Frank S. de Boer is a prominent member of the research community in formalmethods and theoretical computer science. A brief look at his lengthypublication list reveals a broad area of interest and a versatile modusoperandi with: logic and constraint programming; deductive proof systems,soundness, and completeness; semantics, compositionality, and full abstraction;process algebra and decidability; multithreading and actor-based concurrency;agent programming, ontologies, and modal logic; real-time systems, timedautomata, and schedulability; enterprise architectures, choreography, andcoordination; testing and runtime monitoring; and cloud computing and service-levelagreements. For a while, he also liked failures, especially in semantics, andoptimistically concluded with the failure of failures. In fact, Frank has anopportunistic approach to research. Rather than seeing obstacles, he findsopportunities.
Inhaltsverzeichnis zu „Theory and Practice of Formal Methods “
Program Verification: to Err isHuman.-Fond (and Frank) Memories of Frank.- Warmest Congratulations, Frank.- ConformanceChecking of Real-Time Models: Symbolic Execution vs. Bounded Model Checking.- ResourceAnalysis of Distributed Systems.- Comparing Trace Expressions and LinearTemporal Logic for Runtime Verification.- Proper Protocol.- A CompositionalApproach to the Verification of Hybrid Systems.- Array Abstraction withSymbolic Pivots.- Modeling Role-Based Systems with Exogenous Coordination.- Vats:A Safe, Reactive Storage Abstraction.- Denotational and Operational Precisenessof Subtyping: A Roadmap.- A Sound and Complete Hoare Logic forDynamically-Typed, Object-Oriented Programs.- Self-ReconfiguringMicroservices.- Statically and Dynamically Verifiable SLA metrics.- EffectivelyEliminating Auxiliaries.- Towards a Proof Method for Paradigm.- Toward a FormalFoundation for Time Travel in Stories and Games.- Industrial Application ofFormal Models Generated from Domain SpecificLanguages.- Formal Verification ofOpen Normative Multi-Agent System.- Moessner's Theorem: An Exercise in CoinductiveReasoning in Coq.- Towards a Kool Future.- On the Expressiveness of Synchronizationin Component Deployment.- Characterisation of Simulation by ProbabilisticTesting.- On Time Actors.- A Small-Step Semantics of a Concurrent Calculus withGoroutines and Deferred Functions.- Quicksort Revisited - Verifying AlternativeVersions of Quicksort.Bibliographische Angaben
- 2016, 1st ed. 2016, XII, 427 Seiten, 427 farbige Abbildungen, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Erika Ábrahám, Einar Broch Johnsen, Marcello Bonsangue
- Verlag: Springer, Berlin
- ISBN-10: 3319307339
- ISBN-13: 9783319307336
- Erscheinungsdatum: 13.03.2016
Sprache:
Englisch
Kommentar zu "Theory and Practice of Formal Methods"
0 Gebrauchte Artikel zu „Theory and Practice of Formal Methods“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Theory and Practice of Formal Methods".
Kommentar verfassen