emulator security arm mips static-analysis ocaml reverse-engineering disassembler symbolic-execution bap x86 dynamic-analysis binary-analysis instruction-semantics program-analysis taint-analysis powerpc program-verification lifter

llvm verification symbolic-execution instrumentation slice program-verification software-verification klee slicing llvm-ir verification-toolchain program-slicing

synthesis invariants program-verification loop-invariants sygus syntax-guided-synthesis sygus-solver invariant-generation cegis

program-verification graph-neural- loop-invariant-generation

coq program-verification template-repository

fpv functional-programming tum ocaml wp technical-university munich program-verification eidi2-revision-course eidi eidi2 eidi-2 revision-course big-step

python reverse-engineering bap program-analysis program-verification

fortran llvm static-analysis openmp clang program-verification polly llvm-ir race-detection race-conditions flang data-race race-detector openmp-verification dataracebench-fortran openmp-programs llvm-openmp-verifier race-checker

coq iris type-system program-verification separation-logic coq-library noninterference

refactoring c cplusplus static-analysis program-verification

x86-64 formal-semantics instruction-semantics program-verification isa-specification

static-analysis formal-methods static-analyzer program-verification static-analyzers abstract-interpretation

reinforcement-learning verification openai-gym formal-methods program-verification formal-verification gym-environment deductive-reasoning reinforcement-learning-environments

programming-language verification proof-assistant type-theory quantum-computing theory program-verification quantum-programming-language typesystem theroy-reports language-verification

fortran openmp program-verification llvm-ir race-detection data-race-detection dataracebench-fortran-kernels

fortran openmp program-verification llvm-ir race-detection data-race-detection dataracebench-fortran-kernels

openmp shared-memory program-verification sword archer race-detection parallel-programming shared-memory-parallel helgrind data-race-detection llov romp valgrind-drd

algorithms efficiency sorting-algorithms algorithm-analysis program-verification