Bounded Model Checking of Incomplete Networks of Timed Automata.
Christian MillerKarina GitinaChristoph SchollBernd BeckerPublished in: MTV (2010)
Keyphrases
- bounded model checking
- model checking
- timed automata
- temporal logic
- formal verification
- reachability analysis
- linear temporal logic
- formal specification
- social networks
- finite state
- transition systems
- expert systems
- network structure
- evaluation function
- markov decision processes
- multi agent systems
- search algorithm