Model checking C++ programs with exceptions
Authors:
- P. RočkaiPRP. Ročkai
- J. BarnatJBJ. Barnat
- L. BrimLBL. Brim
- 1 October 2016
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 128, 68-85
Abstract
No abstract availableKeywords
Funding Information
- Czech Science Foundation (15-08772S)
- Red Hat, Inc.
This publication has 3 references indexed in Scilit:
- Symbolic execution for software testingCommunications of the ACM, 2013
- Bounded Model Checking Using Satisfiability SolvingFormal Methods in System Design, 2001
- FERRARI: a flexible software-based fault and error injection systemIEEE Transactions on Computers, 1995