- A Type-directed Abstraction Refinement Approach to Higher-order Model Checking Steven J. Ramsay Robin P. Neatherway C.-H. Luke Ong Wed 19 February 2014
- Towards a scalable software model checker for higher-order programs Ryosuke Sato Hiroshi Unno Naoki Kobayashi Tue 16 April 2013
- Nested interpolants Matthias Heizmann Jochen Hoenicke Andreas Podelski Tue 22 January 2013
Library Size: 13G (3 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
