FAST est un outil d'analyse de systèmes complexes qui implémente l'accélération pour calculer l'ensemble de portée d'un système. Il fournit des bibliothèques en C++ pour représenter des ensembles d'entiers (par le biais d'automates), des systèmes linéaires finis et pour effectuer des accélérations sur ces ensembles.