59 citations · 72 across the 8 of their papers we have counts for
1 paper · 1 filter
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…