Model Checker Execution Reports

Rodrigo Castaño, Victor Braberman, Diego Garbervetsky +1

Software model checking constitutes an undecidable problem and, as such, even an ideal tool will in some cases fail to give a conclusive answer. In practice, software model checker…