Integration of formal verification with real-time design.

G. Krasovec N. Shankar P. Ward

Published in: WORDS (1996)

Keyphrases

formal verification
real time
model checking
automated verification
user interface
state space
low cost
high speed
design process
multimedia communication
functional verification