Model Checking Conformance with Scenario-Based Specifications.

Marcelo Glusman, Shmuel Katz

Browse the full CAV paper archive.