Keyphrases
- transition systems
- temporal logic
- model checking
- modal logic
- concurrent systems
- computation tree logic
- practical reasoning
- control flow
- sequent calculus
- reactive systems
- linear temporal logic
- temporal properties
- distributed systems
- bounded model checking
- modal operators
- neural network
- minimal change
- formal specification
- horizontal fragmentation
- knowledge representation