Verifying Incomplete Networks of Timed Automata.

Christian Miller Christoph Scholl Bernd Becker

Published in: MBMV (2011)

Keyphrases

timed automata
model checking
reachability analysis
temporal logic
social networks
theorem prover
databases
theorem proving
heterogeneous networks
real time
artificial intelligence
complex networks
network model