Formal Techniques for Distributed Objects, Components, and Systems: 40th Ifip Wg 6.1 International Conference, Forte 2020, Held as Part of the 15th In

Full 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).

• Format: Paperback
• Language: English
• ISBN: 3030500853
• ISBN13: 9783030500856
• Release Date: June 2020
• Publisher: Springer
• Length: 237 Pages
• Weight: 0.79 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"