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-08-03 20:31:21

Open Document

File Size: 979,52 KB

Share Result on Facebook