- J. Leroux and G. Point. TaPAS : The Talence Presburger Arithmetic Suite. In Stefan Kowalewski and Anna Philippou, editors, Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, volume 5505 of Lecture Notes in Computer Science, pages 182-185, 2009. Springer.
- S. Bardin, A. Finkel, J. Leroux, and L. Petrucci. FAST: acceleration from theory to practice. International Journal on Software Tools for Technology Transfer (STTT), 10(5):401-424, 2008.
- S. Bardin, J. Leroux, and G. Point. FAST Extended Release. In Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, volume 4144 of Lecture Notes in Computer Science, pages 63-66, 2006. Springer.
- J-M. Couvreur. A BDD-like Implementation of an Automata Package. In Revised Selected Papers of the 9th International Conference on Implementation and Application of Automata (CIAA’04), Kingston, Ontario, Canada, July 2004, LNCS 3317, pages 310-311. Springer, 2005.
- J. Leroux. A Polynomial Time Presburger Criterion and Synthesis for Number Decision Diagrams. In 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings, pages 147-156, 2005. IEEE Computer Society.
- J. Leroux. Algorithmique de la vérification des systèmes à compteurs. Approximation et accélération. Implémentation de l’outil FAST. Thèse ENS de Cachan, Dec. 2003.
- S. Bardin, A. Finkel, J. Leroux, L. Petrucci and L. Worobel. FAST, Users’ Manual. Aug. 2003.
|
The Talence Presburger Arithmetic Suite |