Symmetry Breaking in Model Checking of Fault-Tolerant Nuclear Instrumentation and Control Systems.
Igor BuzhinskyAntti PakonenPublished in: IEEE Access (2020)
Keyphrases
- fault tolerant
- model checking
- symmetry breaking
- fault tolerance
- temporal logic
- constraint programming
- search tree
- distributed systems
- formal specification
- quantified boolean formulae
- formal verification
- constraint satisfaction problems
- global constraints
- symbolic model checking
- graph coloring
- verification method
- finite state machines
- combinatorial problems
- load balancing
- integer linear programming
- sat solvers
- formal methods
- artificial intelligence
- knowledge based systems
- search space
- database systems