Safety Analysis Techniques for Validating Formal Models During Verification.

Rogrio de Lemos, Amer Saeed

Browse the full SAFECOMP paper archive.