Ausgabe 4/2018
FMICS-AVoCS
Inhalt (7 Artikel)
Formal methods and automated verification of critical systems
Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
Qualitative and quantitative analysis of safety-critical systems with
Johannes Leupolz, Alexander Knapp, Axel Habermaier, Wolfgang Reif
Runtime verification of autopilot systems using a fragment of MTL-
André de Matos Pedro, Jorge Sousa Pinto, David Pereira, Luís Miguel Pinho
High-level frameworks for the specification and verification of scheduling problems
Mounir Chadli, Jin H. Kim, Kim G. Larsen, Axel Legay, Stefan Naujokat, Bernhard Steffen, Louis-Marie Traonouez
Integrated formal verification of safety-critical software
Ning Ge, Eric Jenn, Nicolas Breton, Yoann Fonteneau
Model-based testing strategies and their (in)dependence on syntactic model representations
Wen-ling Huang, Jan Peleska
Assessing SMT and CLP approaches for workflow nets verification
Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron