The SeaHorn Verification Framework.

Arie Gurfinkel Temesghen Kahsai Anvesh Komuravelli Jorge A. Navas

Published in: CAV (1) (2015)

Keyphrases

main contribution
decision making
multiresolution
theoretical framework
databases
artificial intelligence
case study
objective function
artificial neural networks
probabilistic model
software engineering
lightweight
computational model
model checking
key features