An SMT Approach to Bounded Reachability Analysis of Model Programs.

Margus Veanes, Nikolaj S. Bjrner, Alexander Raschke

Browse the full FORTE paper archive.