Effective State Exploration for Model Checking on a Shared Memory Architecture.
Cornelia P. InggsHoward BarringerPublished in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
- model checking
- shared memory
- temporal logic
- finite state machines
- multi processor
- transition systems
- parallel architecture
- formal verification
- temporal properties
- formal specification
- model checker
- reactive systems
- automated verification
- message passing
- parallel algorithm
- bounded model checking
- verification method
- symbolic model checking
- concurrent systems
- epistemic logic
- formal methods
- software architecture
- bayesian networks
- graphic processing unit
- planning domains
- linear temporal logic
- distributed systems
- higher order
- deterministic finite automaton
- state space