Home My Page Projects Code Snippets Project Openings FAST extended release
Summary Activity SCM Listes Sympa

Project description

FAST extended release is the sequel of FAST model-checker developped at LSV.
This tools has been extended with TaPAS libraries in order to accept plugins for solvers of
the Presburger arithmetic.

Public Tools
SCM Repository (Git: 0 updates, 0 adds)
Project Members
Click to toggle
[8] Uninitialized string offset: 0 (/opt/gforge/common/include/gettext.php at 67)
[8] Uninitialized string offset: 1 (/opt/gforge/common/include/gettext.php at 67)