Verification of networks of timed automata using mCRL2.
Jan Friso GrooteMichel A. ReniersYaroslav S. UsenkoPublished in: IPDPS (2008)
Keyphrases
- timed automata
- model checking
- temporal logic
- reachability analysis
- formal verification
- social networks
- complex systems
- first order logic
- cellular networks
- complex networks
- verification method
- telecommunication networks
- formal methods
- network size
- network structure
- expert systems
- connectionist networks
- network topologies
- theorem proving
- functional verification
- network resources
- network design
- real time
- theorem prover
- end to end
- natural language
- real world
- data sets