Login / Signup
HiFrog: SMT-based Function Summarization for Software Verification.
Leonardo Alt
Sepideh Asadi
Hana Chockler
Karine Even-Mendoza
Grigory Fedyukovich
Antti E. J. Hyvärinen
Natasha Sharygina
Published in:
TACAS (2) (2017)
Keyphrases
</>
computer vision
databases
feature selection
multiscale
objective function
data structure
hidden markov models
level set
multi document summarization