Formal Verification of Hardware Correctness: Introduction and Survey of Current Research.
Paolo CamuratiPaolo PrinettoPublished in: Computer (1988)
Keyphrases
- formal verification
- model checking
- low cost
- bounded model checking
- symbolic model checking
- model checker
- real time
- hardware and software
- program slicing
- automated verification
- hardware architecture
- computing systems
- embedded systems
- massively parallel
- hardware implementation
- computer systems
- literature review
- computing power
- state space
- multi agent systems
- image processing
- artificial intelligence