Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System.

Srgio Vale Aguiar Campos, Orna Grumberg

Browse the full CAV paper archive.