Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System (2000)

by Sergio Campos , Edmund M. Clarke , Orna Grumberg
Venue:Proceedings of the Eighth International Conference on Computer Aided Verification CAV, volume 1102 of Lecture Notes in Computer Science
Citations:16 - 5 self