Reducing Quasi-Equal Clocks in Networks of Timed Automata.

Christian Herrera Bernd Westphal Sergio Feo Arenis Marco Muñiz Andreas Podelski

Published in: FORMATS (2012)

Keyphrases

timed automata
model checking
reachability analysis
social networks
first order logic
real time
theorem prover
network structure
theorem proving
neural network
databases
complex networks
wireless sensor networks
real world
real time systems
telecommunication networks
network size