Synthesising certificates in networks of timed automata.

Bernd Finkbeiner Hans-Jörg Peter Sven Schewe

Published in: IET Softw. (2010)

Keyphrases

timed automata
model checking
social networks
reachability analysis
network design
network size
access control
complex networks
theorem prover
cellular networks
databases
mobile devices
computer networks
network analysis
network parameters