Login / Signup
Partial Order Reduction for Detecting Safety and Timing Failures of Timed Circuits.
Denduang Pradubsuwun
Tomohiro Yoneda
Chris J. Myers
Published in:
IEICE Trans. Inf. Syst. (2005)
Keyphrases
</>
partial order reduction
model checking
petri net
asynchronous circuits
delay insensitive
timed automata
colored petri nets
finite state machines
automatic detection
analog circuits
real time
model based diagnosis