Back to Results
First PageMeta Content
Software engineering / Software / Computing / Logic in computer science / Programming language semantics / Logic programming / Compilers / LLVM / Abstract interpretation / Constraint logic programming / Operational semantics / Clang


The SeaHorn Verification Framework? Arie Gurfinkel1 , Temesghen Kahsai2 , Anvesh Komuravelli3 , and Jorge A. Navas4 1 3
Add to Reading List

Document Date: 2018-10-25 12:43:22

Open Document

File Size: 949,33 KB

Share Result on Facebook