Formal Verification of Explicitly Parallel Microprocessors.
Byron CookJohn LaunchburyJohn MatthewsRichard B. KieburtzPublished in: CHARME (1999)
Keyphrases
- formal verification
- model checking
- computer architecture
- model checker
- symbolic model checking
- automated verification
- bounded model checking
- program slicing
- parallel computing
- level parallelism
- massively parallel
- parallel implementation
- temporal logic
- personal computer
- expert systems
- shared memory
- parallel processing
- partial order
- software engineering