tobireinhard
PostDoc @ KU Leuven, formal program verification (esp. low-level concurrent C), separation logic, completeness thresholds, liveness
KU Leuven
Pinned Repositories
aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
cbmc
C Bounded Model Checker
Clang-LibTooling-Template
FreeRTOS
'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.
Publications
A collection of publications by Tobias Reinhard.
Security-Vulnerabilities-caused-by-Memory-Errors
A collection of important security vulnerabilities caused by memory errors, e.g., buffer overflows.
tobireinhard.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
verifast
Research prototype tool for modular formal verification of C and Java programs
tobireinhard's Repositories
tobireinhard/Security-Vulnerabilities-caused-by-Memory-Errors
A collection of important security vulnerabilities caused by memory errors, e.g., buffer overflows.
tobireinhard/aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
tobireinhard/cbmc
C Bounded Model Checker
tobireinhard/Clang-LibTooling-Template
tobireinhard/FreeRTOS
'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.
tobireinhard/Publications
A collection of publications by Tobias Reinhard.
tobireinhard/tobireinhard.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
tobireinhard/verifast
Research prototype tool for modular formal verification of C and Java programs