F

FAST extended release

Project information

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.

192 Commits
2 Branches
9 Tags

README
GNU General Public License v2.0 or later
CHANGELOG

Created on

June 06, 2023

Loading