Automatic verification of LLVM optimizations
llvm
verification
symbolic-execution
model-checking
smt
llvm-ir
translation-validation
automatic-verification
-
Updated
Jun 2, 2024 - C++
Automatic verification of LLVM optimizations
Finding bugs in P4 compilers using translation validation.
Formal Semantics of P4 in K
Artifact Evaluation, PLDI'20
Add a description, image, and links to the translation-validation topic page so that developers can more easily learn about it.
To associate your repository with the translation-validation topic, visit your repo's landing page and select "manage topics."