Tutorial: Parameterized Verification with Byzantine Model Checker.
Igor KonnovMarijana LazicIlina StoilkovskaJosef WidderPublished in: FORTE (2020)
Keyphrases
- model checker
- model checking
- formal verification
- formal methods
- temporal logic
- description language
- formal specification
- test suite
- symbolic model checking
- set theory
- concurrent systems
- ai planning
- epistemic logic
- artificial intelligence
- fuzzy sets
- data model
- relational databases
- computational intelligence
- specification language
- image analysis
- genetic algorithm
- machine learning