PV2 LLVM to SMTencodes a control flow graph as an SMT formula

LLVM SMT

Links

https://github.com/termite-analyser/llvm2smt

Last commit date

21 April 2018

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.