Model Checking of C and C++ with DIVINE 4.

Zuzana Baranov, Jiri Barnat, Katarna Kejstov, Tades Kucera, Henrich Lauko, Jan Mrzek, Petr Rockai, Vladimr Still

Browse the full ATVA paper archive.