Timed Trace Theoretic Verification Using Partial Order Reduction.

Tomohiro Yoneda Hiroshi Ryu

Published in: ASYNC (1999)

Keyphrases

partial order reduction
model checking
petri net
temporal logic
timed automata
formal verification
verification method
finite state machines
formal methods
concurrent systems
colored petri nets
website
fingerprint verification
execution traces