PQL: Modal logic for compositional verification of concurrent programs.
Naoshi UchihiraPublished in: Systems and Computers in Japan (1994)
Keyphrases
- modal logic
- concurrent programs
- process algebra
- temporal logic
- model checking
- concurrent systems
- inference rules
- asynchronous circuits
- formal verification
- model checker
- formal specification
- formal methods
- epistemic logic
- classical logic
- nonmonotonic logics
- concurrent programming
- conditional logic
- situation calculus
- autoepistemic logic
- machine learning
- dynamic logic
- petri net
- modal operators
- belief revision
- prime implicates
- explanation based generalization
- distributed systems
- concurrent processes
- programming language