@inproceedings{RBB14Exc,
 author = {Petr Ročkai and Jiří Barnat and Luboš Brim},
 booktitle = {Automated Verification of Critical Systems},
 doi = {10.14279/tuj.eceasst.70.983},
 keywords = {divine, red hat},
 series = {AVoCS 2014},
 title = {{Model Checking C++ with Exceptions}},
 year = {2014}
}