model checking on a shared-memory architecture.
Cornelia P. InggsHoward BarringerPublished in: Formal Methods Syst. Des. (2006)
Keyphrases
- model checking
- shared memory
- multi processor
- parallel architecture
- temporal logic
- message passing
- parallel algorithm
- formal verification
- distributed memory
- parallel computers
- reactive systems
- parallel computing
- computation tree logic
- temporal properties
- graphic processing unit
- model checker
- verification method
- formal specification
- symbolic model checking
- automated verification
- memory access
- transition systems
- bounded model checking
- real time
- epistemic logic
- concurrent systems
- timed automata
- software architecture
- formal methods
- linear temporal logic
- deterministic finite automaton
- shared memory multiprocessors
- alternating time temporal logic
- distributed systems
- search algorithm
- image processing