Model Checking on a Shared-Memory Architecture.
Cornelia P. InggsHoward BarringerPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- model checking
- shared memory
- multi processor
- parallel architecture
- temporal logic
- parallel algorithm
- message passing
- temporal properties
- formal verification
- graphic processing unit
- reactive systems
- model checker
- distributed memory
- parallel computing
- formal specification
- parallel computers
- memory access
- automated verification
- symbolic model checking
- timed automata
- verification method
- formal methods
- concurrent systems
- bounded model checking
- transition systems
- computation tree logic
- data structure
- deterministic finite automaton
- epistemic logic
- software engineering
- petri net
- software architecture
- belief propagation