FAST is a C++ implementation of an improved version of the algorithm presented in our previous work. This algorithm has a better asymptotic complexity than other algorithms implemented by existing tools for the same task, and FAST’s optimizations further improve these complexity results.
Keywords for this software
References in zbMATH (referenced in 4 articles , 1 standard article )
Showing results 1 to 4 of 4.
- Delaune, Stéphanie; Hirschi, Lucca: A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols (2017)
- Bakka, Tore; Karimi, Hamid Reza; Christiansen, Søren: Linear parameter-varying modelling and control of an offshore wind turbine with constrained information (2014)
- Bakka, Tore; Karimi, Hamid Reza: $\mathcal H_\infty$ static output-feedback control design with constrained information for offshore wind turbine system (2013)
- Conchinha, Bruno; Basin, David A.; Caleiro, Carlos: FAST: an efficient decision procedure for deduction and static equivalence (2011)