An Object-Oriented Framework for the Formal Verification of Processors.
Laurent ArditiHélène CollavizzaPublished in: ECOOP (1995)
Keyphrases
- formal verification
- model checking
- parallel algorithm
- automated verification
- parallel processing
- symbolic model checking
- model checker
- bounded model checking
- software architecture
- multiprocessor systems
- program slicing
- temporal logic
- parallel computing
- distributed memory
- artificial intelligence
- high end
- modeling language
- functional verification