- Abstractions from Proofs Thomas A. Henzinger Ranjit Jhala Rupak Majumdar Kenneth L. McMillan Fri 29 January 2016
- Dynamic Partial-order Reduction for Model Checking Software Cormac Flanagan Patrice Godefroid Tue 03 December 2013
- Automating relatively complete verification of higher-order functional programs Hiroshi Unno Tachio Terauchi Naoki Kobayashi Tue 16 April 2013
- Temporal-Safety Proofs for Systems Code Thomas A. Henzinger Ranjit Jhala Rupak Majumdar George C. Necula Grégoire Sutre Westley Weimer Mon 25 February 2013
- Adding nesting structure to words Rajeev Alur P. Madhusudan Tue 22 January 2013
- Nested interpolants Matthias Heizmann Jochen Hoenicke Andreas Podelski Tue 22 January 2013
- Refinement of Trace Abstraction Matthias Heizmann Jochen Hoenicke Andreas Podelski Tue 22 January 2013
Library Size: 13G (7 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
