Notes related to The SeaHorn verification framework
Papers related to The SeaHorn verification framework
- RustHorn: CHC-based verification for Rust programs [matsushita:esop:2020]
The SeaHorn verification framework
Arie Gurfinkel, Temesghen Kahsai, Anvesh Komuravelli, Jorge A. Navas[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]
Computer Aided Verification
Springer International Publishing
Cham
Pages 343-361
2015
Topic(s): tools verification
Note(s): abstract interpretation, SeaHorn verifier, LLVM compiler, Horn clause
Springer International Publishing
Cham
Pages 343-361
2015
Topic(s): tools verification
Note(s): abstract interpretation, SeaHorn verifier, LLVM compiler, Horn clause