Incremental Verification Using Trace Abstraction.
Bat-Chen RothenbergDaniel DietschMatthias HeizmannPublished in: SAS (2018)
Keyphrases
- hardware designs
- bounded model checking
- model checking
- incremental learning
- formal verification
- high level
- face verification
- verification method
- incremental algorithms
- functional verification
- data sets
- decision theoretic planning
- high security
- incremental clustering
- efficient incremental
- data abstraction
- test generation
- signature verification
- data driven