Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker.
Igor KonnovMarijana LazicIlina StoilkovskaJosef WidderPublished in: CoRR (2020)
Keyphrases
- model checker
- model checking
- formal verification
- finite state
- formal methods
- temporal logic
- description language
- formal specification
- test suite
- symbolic model checking
- set theory
- specification language
- epistemic logic
- concurrent systems
- web services
- ai planning
- test cases
- search heuristics
- knowledge based systems
- computational intelligence
- general purpose
- dynamic programming
- image analysis
- expert systems