Counter Abstractions in Model Checking of Distributed Broadcast Algorithms: Some Case Studies.
Francesco AlbertiSilvio GhilardiAndrea OrsiniElena PaganiPublished in: CILC (2016)
Keyphrases
- model checking
- case study
- temporal logic
- orders of magnitude
- deterministic finite automaton
- cooperative
- formal verification
- bounded model checking
- finite state
- temporal properties
- reachability analysis
- multi agent
- verification method
- computational complexity
- knowledge representation
- markov chain
- artificial intelligence
- model checker