1. Sébastien Bardin , Jérôme Leroux , and Gérald Point . 2006. FAST Extended Release . In Computer Aided Verification, Thomas Ball and Robert B. Jones (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 63--66. Sébastien Bardin, Jérôme Leroux, and Gérald Point. 2006. FAST Extended Release. In Computer Aided Verification, Thomas Ball and Robert B. Jones (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 63--66.
2. On the Termination of Integer Loops
3. Leonardo de Moura and Nikolaj Bjørner . 2008. Z3: An Efficient SMT Solver . In Tools and Algorithms for the Construction and Analysis of Systems , C. R. Ramakrishnan and Jakob Rehof (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 337--340. Leonardo de Moura and Nikolaj Bjørner. 2008. Z3: An Efficient SMT Solver. In Tools and Algorithms for the Construction and Analysis of Systems, C. R. Ramakrishnan and Jakob Rehof (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 337--340.
4. Florian Frohn . 2020. A Calculus for Modular Loop Acceleration . In Tools and Algorithms for the Construction and Analysis of Systems , Armin Biere and David Parker (Eds.). Springer International Publishing , Cham , 58--76. Florian Frohn. 2020. A Calculus for Modular Loop Acceleration. In Tools and Algorithms for the Construction and Analysis of Systems, Armin Biere and David Parker (Eds.). Springer International Publishing, Cham, 58--76.
5. Automatic partial loop summarization in dynamic test generation