Skip to main content

International Journal on Software Tools for Technology Transfer

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

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr

Premium Partner