Techniques for Memory-Efficient Model Checking of C and C++ Code.

Petr Rockai, Vladimr Still, Jiri Barnat

Browse the full SEFM paper archive.