The Electrum model checker for relational first-order temporal specifications |
http://haslab.github.io/Electrum/ |
T-Tool |
http://dit.unitn.it/~ft/ |
MBP |
http://mbp.fbk.eu/ |
FSAP |
http://fsap.fbk.eu/ |
PROSYD |
http://www.prosyd.org |
ESACS |
http://www.cert.fr/esacs/ |
ISAAC |
http://www.cert.fr/isaac/ |
AutoFOCUS3: a tool for modeling and analyzing the structure and behavior of distributed, reactive, and timed computer-based systems.
|
http://af3.fortiss.org
|
MBEDDR: this project aims at creating a different way of developing embedded software systems.
|
http://www.mbeddr.com
|
TwoTowers |
http://www.sti.uniurb.it/bernardo/twotowers/ |
Confluence Logic Design Language
|
http://www.confluent.org
|
InFormal
|
http://www.confluent.org/wiki/doku.php?id=informal:main
|
Rebeca (Reactive Objects Language)
|
http://www.rebeca-lang.org
|
TSMV: TCTL Symbolic Model Checking of Simply-Timed Systems
|
http://www.lsv.ens-cachan.fr/~markey/TSMV
|
Goanna: Reducing Software Bugs
|
http://www.ertos.nicta.com.au/research/goanna
|
Goanna is now part of Red Lizards:
|
http://www.redlizards.com
|
RoVerGeNe: A tool for the Robust Verification of Gene Networks
|
http://iasi.bu.edu/~batt/rovergene/rovergene.htm
|
Graded-CTL NuSMV: An extension of NuSMV for Graded-CTL with multiple counterexamples computation
|
http://gradedctl.dia.unisa.it
|
nusmv-tools: Eclipse-based packages collecting some tools which interact with NuSMV
|
http://code.google.com/a/eclipselabs.org/p/nusmv-tools/
|
nuseen: Eclipse-based environment for NuSMV, with the aim of helping NuSMV users
|
https://code.google.com/a/eclipselabs.org/p/nuseen/
|
CRISNER: A Qualitative Preference Reasoner
|
http://www.ece.iastate.edu/~gsanthan/crisner.html
|
FTS: Featured Transition Systems
|
https://projects.info.unamur.be/fts/
|
IVYworkbench: A model-based tool for the analysis of interactive systems designs
|
http://ivy.di.uminho.pt/
|
PVSio-web 2.0: Create interactive prototypes based on formal specifications
|
http://www.pvsioweb.org/
|
SMOF: Safety Monitoring Framework
|
https://www.laas.fr/projects/smof
|