Ausgabe 6/2022
FMICS 2021
Inhalt (8 Artikel)
General
GSDetector: a tool for automatic detection of bad smells in GRL goal models
Mawal A. Mohammed, Jameleddine Hassine, Mohammad Alshayeb
General
Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL
Jaehun Lee, Kyungmin Bae, Peter Csaba Ölveczky, Sharon Kim, Minseok Kang
Open Access
General
An automated framework for verifying or refuting trace properties of extended finite state machines
Ramsay G. Taylor, Michael Foster, Siobhán North
General
Formal methods and tools for industrial critical systems
Alberto Lluch Lafuente, Anastasia Mavridou
General
Automated formal analysis of temporal properties of Ladder programs
Cláudio Belo Lourenço, Denis Cousineau, Florian Faissole, Claude Marché, David Mentré, Hiroaki Inoue
General
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps
Simon Thrane Hansen, Casper Thule, Cláudio Gomes, Jaco van de Pol, Maurizio Palmieri, Emin Oguz Inci, Frederik Madsen, Jesús Alfonso, José Ángel Castellanos, José Manuel Rodriguez
General
Randomized reachability analysis in UPPAAL: fast error detection in timed systems
Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman
Open Access
General
SMT solving for the validation of B and Event-B models
Joshua Schmidt, Michael Leuschel