-
QComp'23
Version of FIG used for the artifact of QComp 2023: formal tools for rare events
-
JANI
Latest support for the JANI exchange format
-
-
RFT_journal
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.
-
FIG_v1.3 protected Release: FIG_v1.3
Added clock resampling, RESTART prolonged engines, and probabilistic branching in IOSA.
-
probabilistic_branching Release: probabilistic_branching
Added PRISM-style probabilities to IOSA model files.
-
FIG_v1.2 protected Release: FIG_v1.2
Prepared for the FIG tool (demonstration) paper submission in TACAS'19
-
-
SETTA_journal
Fig version used to produce the results for the SETTA'17 journal version
-
test_suite
First FIG test suite: Compile with "$ ./build_project.sh tests" and run with "./test"
-
-
ValueTools_2016_results
WARNING: may not compile
-
-