Trace Abstraction Refinement for Timed Automata.

Weifeng Wang Li Jiao

Published in: ATVA (2014)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
first order logic
theorem proving
real time systems
high level
refinement process
neural network
temporal logic
real time
genetic algorithm
databases
case study
graphical models
data abstraction
relational databases
state abstraction
bayesian networks