Language Inclusion Checking of Timed Automata with Non-Zenoness.

Xinyu Wang Jun Sun Ting Wang Shengchao Qin

Published in: IEEE Trans. Software Eng. (2017)

Keyphrases

timed automata
model checking
programming language
reachability analysis
language learning
natural language
first order logic
database
theorem prover
theorem proving
general purpose
probability distribution
relational databases
bayesian networks
real time systems
type checking
information systems
data mining