Incremental formal verification of hardware.
Hana ChocklerAlexander IvriiArie MatsliahShiri MoranZiv NevoPublished in: FMCAD (2011)
Keyphrases
- formal verification
- model checking
- low cost
- automated verification
- bounded model checking
- incremental learning
- hardware and software
- real time
- model checker
- symbolic model checking
- hardware implementation
- program slicing
- computing systems
- computing power
- vlsi implementation
- embedded systems
- temporal logic
- computer systems
- hardware software
- incremental version
- hardware architecture
- rough sets