Model checking of C and C++ with DIVINE 4
Zuzana Baranová, Jiří Barnat, Katarína Kejstová, Tadeáš Kučera, Henrich Lauko, Jan Mrázek, Petr Ročkai, Vladimír Štill[ISBN] [Google Scholar] [DBLP] [Citeseer]
Automated Technology for Verification and Analysis
Springer International Publishing
Cham
Pages 201-207
2017
Note(s): model checking
Springer International Publishing
Cham
Pages 201-207
2017
Note(s): model checking