Synthesizing Certificates in Networks of Timed Automata.

Bernd Finkbeiner Hans-Jörg Peter Sven Schewe

Published in: RTSS (2008)

Keyphrases

incremental algorithms
reachability analysis
timed automata
computer networks
network design
social networks
model checking
heterogeneous networks
cellular networks
databases
genetic algorithm
network structure
theorem prover