Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently.

Jianhua Zhao Xuandong Li Tao Zheng Guoliang Zheng

Published in: FORMATS (2003)

Keyphrases

timed automata
model checking
reachability analysis
neural network
theorem prover
databases
highly efficient
database
real world
information retrieval
social networks
information systems
case study
data structure