LEADER 05464nam 22008415 450 001 9910482976703321 005 20230330014711.0 010 $a3-319-30734-7 024 7 $a10.1007/978-3-319-30734-3 035 $a(CKB)3710000000627349 035 $a(SSID)ssj0001661144 035 $a(PQKBManifestationID)16441116 035 $a(PQKBTitleCode)TC0001661144 035 $a(PQKBWorkID)14985487 035 $a(PQKB)10670469 035 $a(DE-He213)978-3-319-30734-3 035 $a(MiAaPQ)EBC6303062 035 $a(MiAaPQ)EBC5595041 035 $a(Au-PeEL)EBL5595041 035 $a(OCoLC)945948340 035 $a(PPN)192771779 035 $a(EXLCZ)993710000000627349 100 $a20160330d2016 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aTheory and Practice of Formal Methods $eEssays Dedicated to Frank de Boer on the Occasion of His 60th Birthday /$fedited by Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (XII, 427 p. 112 illus. in color.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9660 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-319-30733-9 327 $aProgram 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. 330 $aThis 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 interest and a versatile modus operandi 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, timed automata, and schedulability; enterprise architectures, choreography, and coordination; testing and runtime monitoring; and cloud computing and service-level agreements. For a while, he also liked failures, especially in semantics, and optimistically concluded with the failure of failures. In fact, Frank has an opportunistic approach to research. Rather than seeing obstacles, he finds opportunities. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9660 606 $aComputer science 606 $aSoftware engineering 606 $aAlgorithms 606 $aMachine theory 606 $aCompilers (Computer programs) 606 $aArtificial intelligence 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 606 $aAlgorithms 606 $aFormal Languages and Automata Theory 606 $aCompilers and Interpreters 606 $aArtificial Intelligence 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aAlgorithms. 615 0$aMachine theory. 615 0$aCompilers (Computer programs). 615 0$aArtificial intelligence. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 615 24$aAlgorithms. 615 24$aFormal Languages and Automata Theory. 615 24$aCompilers and Interpreters. 615 24$aArtificial Intelligence. 676 $a004.0151 702 $aÁbrahám$b Erika$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBonsangue$b Marcello$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aJohnsen$b Einar Broch$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910482976703321 996 $aTheory and Practice of Formal Methods$92829990 997 $aUNINA