Using temporal logic specifications to debug parallel programs.
Maximilian FreyAndreas WeiningerPublished in: Microprocess. Microprogramming (1993)
Keyphrases
- temporal logic
- concurrent systems
- model checking
- transition systems
- model checker
- reactive systems
- parallel programming
- bounded model checking
- formal specification language
- modal logic
- satisfiability problem
- control flow
- formal specification
- linear temporal logic
- programming environment
- parallel processing
- verification method
- parallel computation
- parallel execution
- parallel computing
- computation tree logic
- belief revision
- shared memory
- temporal knowledge
- programs written
- parallel algorithm
- formal verification
- dynamic constraints
- novice programmers
- finite state
- mazurkiewicz traces