The SeaHorn Verification Framework

By Arie Gurfinkel, Temesghen Kahsai, Anvesh Komuravelli, Jorge A. Navas. International Conference on Computer Aided Verification, 2015

350 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Software

View Paper: https://www.semanticscholar.org/paper/39d846fc1dc4a43b24dbe7246f62317f08183ba0

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computational Theory and Mathematics

1. Prateek Saxena

In Software

1. Prateek Saxena

Citations in the corpus

• Finding The Greedy, Prodigal, and Suicidal Contracts at Scale (2018, methodology): “Unlike Maian, Zeus conducts policy checking at a level of LLVM-like intermediate representation of a contract, obtained from Solidity code, and leverages a suite of standard tools, such as off-the-shelf constraint and SMT solvers [9, 20, 27].”
• ZEUS: Analyzing Safety of Smart Contracts (2018, methodology): “ZEUS uses prior art [61] to emit verification conditions as CHCs for the translated program P̂′′′.”