todo:
Notes related to Bounded verification
Papers related to Bounded verification
- Symbolic model checking without BDDs [biere:tacas:1999]
- Model checking boot code from AWS data centers [cook:cav:2018]
- A solver for reachability modulo theories [lal:cav:2012]
- Crust: A bounded verifier for Rust [toman:ase:2015]