Bounded model checking distributed temporal logic.
Augusto PeresJaime RamosFrancisco DionísioPublished in: J. Log. Comput. (2023)
Keyphrases
- temporal logic
- bounded model checking
- model checking
- linear temporal logic
- modal logic
- satisfiability problem
- computation tree logic
- concurrent systems
- formal verification
- model checker
- mazurkiewicz traces
- finite state
- temporal epistemic
- distributed systems
- multi agent
- verification method
- symbolic model checking
- formal methods
- formal specification
- inference rules
- belief revision
- automata theoretic