Using Off-the-Shelf Exception Support Components in C++ Verification - Štill, Vladimír (arXiv.org)