Incremental Verification by SMT-based Summary Repair.

Sepideh Asadi Martin Blicha Antti E. J. Hyvärinen Grigory Fedyukovich Natasha Sharygina

Published in: FMCAD (2020)

Keyphrases

model checking
statistical machine translation
incremental learning
formal verification
information retrieval
data driven
face verification
document summarization
incremental algorithms
verification method
concurrent systems
information systems
damage assessment
summary generation