FAST: acceleration from theory to practice - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue International Journal on Software Tools for Technology Transfer Année : 2008

FAST: acceleration from theory to practice

Résumé

Fast acceleration of symbolic transition systems (Fast) is a tool for the analysis of systems manipulating unbounded integer variables. We check safety properties by computing the reachability set of the system under study. Even if this reachability set is not necessarily recursive, we use innovative techniques, namely symbolic representation, acceleration and circuit selection, to increase convergence. Fast has proved to perform very well on case studies. This paper describes the tool, from the underlying theory to the architecture choices. Finally, Fast capabilities are compared with those of other tools. A range of case studies from the literature is investigated.
Fichier principal
Vignette du fichier
main.pdf (530.09 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00345968 , version 1 (10-12-2008)

Identifiants

Citer

Sebastien Bardin, Alain Finkel, Jérôme Leroux, Laure Petrucci. FAST: acceleration from theory to practice. International Journal on Software Tools for Technology Transfer, 2008, 10 (5), pp.401-424. ⟨10.1007/s10009-008-0064-3⟩. ⟨hal-00345968⟩
243 Consultations
532 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More