Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
alv homepage, http://www.cs.ucsb.edu/~bultan/composite/
The brain homepage, http://www.cs.man.ac.uk/~voronkov/BRAIN/
Design/CPN online, http://www.daimi.au.dk/designCPN
Delzanno, G.: Home Page – Giorgio Delzanno, http://www.disi.unige.it/person/DelzannoG/
fast homepage, http://www.lsv.ens-cachan.fr/~leroux/fast/
Finkel, A., Leroux, J.: How to compose Presburger-accelerations: Applications to broadcast protocols. In: Agrawal, M., Seth, A.K. (eds.) FSTTCS 2002. LNCS, vol. 2556, pp. 145–156. Springer, Heidelberg (2002)
Hytech homepage, http://www-cad.eecs.berkeley.edu/~tah/HyTech/
The lash Toolset, http://www.montefiore.ulg.ac.be/~boigelot/research/lash/
The MONA project, http://www.brics.dk/mona/
smv homepage, http://www-cad.eecs.berkeley.edu/~kenmcmil/
spin homepage, http://spinroot.com/spin/
trex homepage, http://www.liafa.jussieu.fr/~sighirea/trex/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bardin, S., Finkel, A., Leroux, J., Petrucci, L. (2003). FAST: Fast Acceleration of Symbolic Transition Systems. In: Hunt, W.A., Somenzi, F. (eds) Computer Aided Verification. CAV 2003. Lecture Notes in Computer Science, vol 2725. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45069-6_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-45069-6_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40524-5
Online ISBN: 978-3-540-45069-6
eBook Packages: Springer Book Archive