Explore Projects

Discover 1 open source projects

Active filters (1):

Search: translation-validation×

Showing 1-1 of 1 projects

AliveToolkit/alive2

Automatic verification of LLVM optimizations using symbolic execution and model checking

1.1K

Active

C++

CLI Tools

API Frameworks

#automatic-verification#llvm#llvm-ir

Stay in the loop

Get weekly updates on trending AI coding tools and projects.