40. FORTE 2020: Valletta, Malta
Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, FORTE 2020, Valletta, Malta, June 15-19, 2020
Alexey Gotsman, Ana Sokolova
Springer, ISBN: 978-3-030-50085-6
Contents
Full Papers
Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego.
Davide Basile, Maurice H. ter Beek, Axel Legay
3-21
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.
Eleni Bila, Simon Doherty, Brijesh Dongol, John Derrick, Gerhard Schellhorn, Heike Wehrheim
39-58
Conformance-Based Doping Detection for Cyber-Physical Systems.
Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns
59-77
Deep Statistical Model Checking.
Timo P. Gros, Holger Hermanns, Jörg Hoffmann, Michaela Klauck, Marcel Steinmetz
96-114
Derivation of Heard-of Predicates from Elementary Behavioral Patterns.
Adam Shimi, Aurélie Hurault, Philippe Quéinnec
133-149
Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities.
Jeremy Sproston
150-168
Tutorials
Tutorial: Parameterized Verification with Byzantine Model Checker.
Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder
189-207
Short Paper
Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper).
Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas
227-235