translation-validation

There are 0 repository under translation-validation topic.

• AliveToolkit / alive2

  Automatic verification of LLVM optimizations

  automatic-verificationllvmllvm-irmodel-checkingsmtsymbolic-executiontranslation-validationverification
  Language:C++ 696

• p4gauntlet / gauntlet

  Finding bugs in P4 compilers using translation validation.

  p4ctranslation-validationz3p4
  Language:P4 35

• kframework / p4-semantics

  Formal Semantics of P4 in K

  formal-semanticsp4p4languageverificationinterpretersymbolic-executionmodel-checkingtranslation-validation
  Language:P4 18

• seL4 / graph-refine

  sel4refinement-prooftranslation-validationproof
  Language:Python 10

• sdasgup3 / PLDI20-Artifact-Evaluation

  Artifact Evaluation, PLDI'20

  llvm-irmcsemasymbolic-execution-enginesymbolic-summariesverification-queriesvirtualboxx86-64language-semanticsreverse-engineeringtranslation-validationvalidationcompiler-optimizationgraph-matchingformal-semanticsverification-conditionsdetecting-bugspldievaluationreproducing-bugs