Crocos: An Integrated Environment for Interactive Verification of SDL Specifications.

Dominique Mry, Abdelillah Mokkedem

Browse the full CAV paper archive.