PostDoc @ TU Darmstadt,
formal program verification (esp. low-level concurrent C), separation logic, completeness thresholds, liveness
-
KU Leuven
- reito.eu
Highlights
- Pro
Block or Report
Block or report tobireinhard
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories Loading
-
Security-Vulnerabilities-caused-by-Memory-Errors
Security-Vulnerabilities-caused-by-Memory-Errors PublicA collection of important security vulnerabilities caused by memory errors, e.g., buffer overflows.
-
tobireinhard.github.io
tobireinhard.github.io PublicForked from academicpages/academicpages.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
JavaScript
-
-
verifast
verifast PublicForked from verifast/verifast
Research prototype tool for modular formal verification of C and Java programs
OCaml
-
aws-c-common
aws-c-common PublicForked from awslabs/aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
C
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.