LEADER 04225nam 22006735 450 001 9910410058903321 005 20251225183620.0 010 $a3-030-50086-1 024 7 $a10.1007/978-3-030-50086-3 035 $a(CKB)5280000000218549 035 $a(MiAaPQ)EBC6225116 035 $a(DE-He213)978-3-030-50086-3 035 $a(PPN)248595229 035 $a(EXLCZ)995280000000218549 100 $a20200609d2020 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFormal Techniques for Distributed Objects, Components, and Systems $e40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15?19, 2020, Proceedings /$fedited by Alexey Gotsman, Ana Sokolova 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (xii, 237 pages) $cillustrations 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v12136 300 $aIncludes author index. 311 08$a3-030-50085-3 327 $aFull Papers -- Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego -- Towards Bridging Time and Causal Reversibility -- Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory -- Conformance-Based Doping Detection for Cyber-Physical Systems -- On Implementable Timed Automata? -- Deep Statistical Model Checking -- Trace Equivalence and Epistemic Logic to Express Security Properties -- Derivation of Heard-Of Predicates From Elementary Behavioral Patterns -- Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities -- A Formal Framework for Consent Management -- Tutorials -- Tutorial: Parameterized Verification with Byzantine Model Checker -- Typechecking Java Protocols with [St]Mungo -- Short Paper -- Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper). 330 $aThis book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2020, held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020.* The 10 full papers and 1 short paper presented were carefully reviewed and selected from 25 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems. *The conference was held virtually due to the COVID-19 pandemic. Chapter ?Conformance-Based Doping Detection for Cyber-Physical Systems? is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v12136 606 $aSoftware engineering 606 $aComputer science 606 $aComputer engineering 606 $aComputer networks 606 $aArtificial intelligence 606 $aSoftware Engineering 606 $aComputer Science Logic and Foundations of Programming 606 $aComputer Engineering and Networks 606 $aArtificial Intelligence 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aArtificial intelligence. 615 14$aSoftware Engineering. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aComputer Engineering and Networks. 615 24$aArtificial Intelligence. 676 $a004.36 676 $a004.36 702 $aGotsman$b Alexey$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSokolova$b Ana$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910410058903321 996 $aFormal Techniques for Distributed Objects, Components, and Systems$92880511 997 $aUNINA