Minimal Assignments for Bounded Model Checking
Abstract elided by the publisher.
Related papers
- On minimizing materializations of array-valued temporaries TOPLAS 2006
- Symbolic Model Checking without BDDs TACAS 1999
- Automated feedback generation for introductory programming assignments PLDI 2013
- A Fresh Look at Optimizing Array Bound Checking PLDI 1990
- Partial Order Reduction for Deep Bug Finding in Synchronous Hardware TACAS 2020
- Stateless model checking concurrent programs with maximal causality reduction PLDI 2015
- Clock Bound Repair for Timed Systems CAV 2019
- Minimal and Optimal Computations of Recursive Programs POPL 1977