From Distributed Memory Cycle Detection to Parallel LTL Model Checking.
Jiri BarnatLubos BrimJakub ChaloupkaPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- model checking
- distributed memory
- shared memory
- temporal logic
- parallel implementation
- ibm sp
- bounded model checking
- data parallelism
- formal verification
- temporal properties
- multiprocessor systems
- model checker
- finite state
- symbolic model checking
- formal specification
- linear temporal logic
- transition systems
- parallel algorithm
- parallel computers
- parallel architecture
- epistemic logic
- formal methods
- automated verification
- concurrent systems
- linear time temporal logic
- parallel machines
- timed automata
- message passing
- reactive systems
- parallel processing
- dynamic programming