Authors
Sébastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci
Publication date
2003
Conference
Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003. Proceedings 15
Pages
118-121
Publisher
Springer Berlin Heidelberg
Description
fast is a tool for the analysis of infinite systems. This paper describes the underlying theory, the architecture choices that have been made in the tool design. The user must provide a model to analyse, the property to check and a computation policy. Several such policies are proposed as a standard in the package, others can be added by the user. fast capabilities are compared with those of other tools. A range of case studies from the literature has been investigated.
Total citations
2002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202411141929171291146452541173273
Scholar articles
S Bardin, A Finkel, J Leroux, L Petrucci - … Aided Verification: 15th International Conference, CAV …, 2003