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