Timed Vacuity.

Hana Chockler Shibashis Guha Orna Kupferman

Published in: FM (2018)

Keyphrases

model checking
timed automata
petri net
temporal logic
partial order reduction
finite state machines
discrete event
database
verification method
databases
knowledge base
building blocks
real time
artificial intelligence
database systems
complex systems