Coping with Implementation Dependencies in Real-Time System Verification.

Aloysius K. Mok

Published in: REX Workshop (1991)

Keyphrases

vision system
real time
efficient implementation
databases
neural network
information retrieval
low cost
high speed
petri net
model checking
implementation details
implementation issues
formal verification
dedicated hardware