SMV

Medical abbreviations:
SMV

Cadence Symbolic Model Verifier File