The First Stage of a System Verification Strategy for API-Calculus.

Shahram Rahimi Namdar Mogharreban Raheel Ahmad

Published in: MSV/AMCS (2004)

Keyphrases

face verification
high level
model checking
search strategy
learning stage
asynchronous circuits
multiple stages