- Non-Linear Loop Invariant Generation Using Grøbner Bases Sriram Sankaranarayanan Henny B. Sipma Zohar Manna Fri 01 September 2023
- Computing polynomial program invariants Markus Muller-Olm Helmut Seidl Sat 22 July 2023
- Stack Size Analysis for Interrupt-driven Programs Krishnendu Chatterjee Di Ma Rupak Majumdar Tian Zhao Thomas A. Henzinger Jens Palsberg Sat 15 July 2017
- A faster solver for general systems of equations Christian Fecht Helmut Seidl Sat 08 April 2017
- Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems Christian Fecht Helmut Seidl Mon 24 March 2014
- Saturn: A Scalable Framework for Error Detection Using Boolean Satisfiability Yichen Xie Alex Aiken Tue 11 March 2014
- Third-order Idealized Algol with iteration is decidable Andrzej S. Murawski Igor Walukiewicz Wed 01 May 2013
- Satisfiability Solvers Are Static Analysers Vijay D'Silva Leopold Haller Daniel Kroening Wed 30 January 2013
- Continuity analysis of programs Swarat Chaudhuri Sumit Gulwani Roberto Lublinerman Wed 30 January 2013
- Proving that programs eventually do something good Byron Cook Alexey Gotsman Andreas Podelski Andrey Rybalchenko Moshe Y. Vardi Mon 28 January 2013
- Exact flow analysis Christian Mossin Mon 28 January 2013
- Subcubic algorithms for recursive state machines Swarat Chaudhuri Wed 11 July 2012
- CFA2: a Context-Free Approach to Control-Flow Analysis Dimitrios Vardoulakis Olin Shivers Wed 11 July 2012
- An abstract interpretation framework for termination Patrick Cousot Radhia Cousot Thu 21 June 2012
Library Size: 13G (14 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
