Skip to main content

International Journal on Software Tools for Technology Transfer

Ausgabe 6/2022

FMICS 2021

Inhalt (8 Artikel)


GSDetector: a tool for automatic detection of bad smells in GRL goal models

Mawal A. Mohammed, Jameleddine Hassine, Mohammad Alshayeb


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


Formal methods and tools for industrial critical systems

Alberto Lluch Lafuente, Anastasia Mavridou


Automated formal analysis of temporal properties of Ladder programs

Cláudio Belo Lourenço, Denis Cousineau, Florian Faissole, Claude Marché, David Mentré, Hiroaki Inoue


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


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

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr

Premium Partner