Verifying Properties of HMS Machine Specifications of Real-Time Systems.

Armen Gabrielian, R. Iyer

Browse the full CAV paper archive.