Summary of Model Checking C++ Programs.

Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro

Browse the full ICST paper archive.