Bounded Model Checking and Feature Omission Diversity


In this paper we introduce a novel way to speed up the discovery of counterexamples in bounded model checking, based on parallel runs over versions of a system in which features have been randomly disabled. As shown in previous work, adding constraints to a bounded model checking problem can reduce the size of the verification problem and dramatically… (More)
View Slides


3 Figures and Tables

Cite this paper

@article{Alipour2011BoundedMC, title={Bounded Model Checking and Feature Omission Diversity}, author={Mohammad Amin Alipour and Alex Groce}, journal={CoRR}, year={2011}, volume={abs/1610.08020} }