program-verification

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

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

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

coq program-verification template-repository

python reverse-engineering bap program-analysis program-verification

java analysis static-analysis analyzer cybersecurity formal-methods lisa static-analyzer program-verification static-analyzers abstract-interpretation

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

machine-learning scala linear-algebra type-theory program-verification shape-safety

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

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

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

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

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

tools verification formal-methods program-verification formal-verification

concurrency verification formal-methods program-verification software-verification separation-logic fine-grained-concurrency

refactoring c cplusplus static-analysis program-verification

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

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

theorem-proving idris program-verification formal-verification

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

algorithms efficiency sorting-algorithms algorithm-analysis program-verification