Modeling Timed Automata Theory in PVS.

Qingguo Xu Huaikou Miao

Published in: Software Engineering Research and Practice (2006)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
real time systems
nonlinear dynamical systems
first order logic
computational model
temporal logic
formal models
formal verification
neural network
theoretical framework
artificial intelligence
data mining
real world