Extended RTL in the Specification and Verification of an Industrial Press.

Rogério de Lemos Jon G. Hall

Published in: Hybrid Systems (1995)

Keyphrases

formal verification
asynchronous circuits
formal methods
model checking
real time
case study
specification language
high level
machine learning
video sequences
industrial applications
formal specification
face verification
technology transfer
colored petri nets
industrial environment