Issue 4-5/2021
Extended versions of papers presented at FM 2019
Content (12 Articles)
Open Access
Original Article
An axiomatic approach to existence and liveness for differential equations
Yong Kiam Tan, André Platzer
Original Article
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter
Hoang-Dung Tran, Neelanjana Pal, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
Open Access
Original Article
Verifying correctness of persistent concurrent data structures: a sound and complete method
John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Heike Wehrheim
Open Access
Original Article
-based learning of Markov decision processes (extended version)
Martin Tappler, Bernhard K. Aichernig, Giovanni Bacci, Maria Eichlseder, Kim G. Larsen
Open Access
Original Article
Symbolic execution formally explained
Frank S. de Boer, Marcello Bonsangue
Original Article
Counterexample-guided inductive synthesis for probabilistic systems
Milan Češka, Christian Hensel, Sebastian Junges, Joost-Pieter Katoen
Open Access
Original Article
From generic partition refinement to weighted tree automata minimization
Thorsten Wißmann, Hans-Peter Deifel, Stefan Milius, Lutz Schröder
Open Access
Original Article
GR(1)*: GR(1) specifications extended with existential guarantees
Gal Amram, Shahar Maoz, Or Pistiner
Open Access
Original Article
RiskStructures: A design algebra for risk-aware machines
Mario Gleirscher, Radu Calinescu, Jim Woodcock
Open Access
Original Article
Denotational semantics of channel mobility in UTP-CSP
Gerard Ekembe Ngondi