Model Checking Approach for Deadlock Detection in an Operating System Process-Resource Graph Using Dynamic Model Generating and Computation Tree Logic Specification.
Thitivatr PatanasakpinyoPublished in: CATA (2019)
Keyphrases
- model checking
- computation tree logic
- operating system
- dynamic model
- temporal logic
- formal specification
- formal verification
- transition systems
- computer systems
- formal methods
- epistemic logic
- bounded model checking
- linear temporal logic
- model checker
- reactive systems
- symbolic model checking
- temporal properties
- concurrent systems
- experimental data
- specification language
- alternating time temporal logic
- distributed database systems
- satisfiability problem
- distributed systems
- relational databases
- information systems
- modal logic
- data processing
- database systems