Explore projects

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.