Partial Order Reduction for Detecting Safety and Timing Failures of Timed Circuits.

Denduang Pradubsuwun Tomohiro Yoneda Chris J. Myers

Published in: ATVA (2004)

Keyphrases

partial order reduction
model checking
petri net
asynchronous circuits
timed automata
delay insensitive
automatic detection
finite state machines
data sets
databases
information retrieval
information systems
high speed
safety critical