Tags

Version of FIG used for the artifact of QComp 2023: formal tools for rare events

Latest support for the JANI exchange format

Version of FIG used for its demo in the TOSME 2021 workshop

Version used to produce the results for the STTT submission (extended version of the TACAS'20 publication).
This is the version included in the artifact accompanying the submission.

Added clock resampling, RESTART prolonged engines, and probabilistic branching in IOSA.

Added PRISM-style probabilities to IOSA model files.

Prepared for the FIG tool (demonstration) paper submission in TACAS'19

Version of used in the PhD thesis of Carlos E. Budde

Fig version used to produce the results for the SETTA'17 journal version

First FIG test suite: Compile with "$ ./build_project.sh tests" and run with "./test"

Basic FIG + JANI + committed actions + arrays

WARNING: may not compile

Support for JANI model specification format, version 1.

Basic FIG functionality.