Incremental Verification by Abstraction.
Yassine LakhnechSaddek BensalemSergey BerezinSam OwrePublished in: TACAS (2001)
Keyphrases
- high level
- hardware designs
- model checking
- bounded model checking
- incremental learning
- formal verification
- data driven
- real time
- verification method
- incremental clustering
- incremental algorithms
- efficient incremental
- asynchronous circuits
- face verification
- neural network
- database
- fingerprint verification
- concurrent systems