Partial Order Reduction for Verification of Real-Time Components.

John Håkansson Paul Pettersson

Published in: FORMATS (2007)

Keyphrases

model checking
real time
partial order reduction
petri net
temporal logic
vision system
database
formal verification
low cost
website
multimedia
software engineering
bayesian networks
neural network
case study
databases
face verification
high fidelity
asynchronous circuits
computer vision