Pinned Repositories
drzchen.github.io
monic
Monic: A Monitorability Checker
movec
Movec: A Tool for the Monitoring and Verification of C Programs
movec-benchmarks
The MiBench and SPEC Benchmark Suites
movec-msbench
Movec-MSBench: A Memory Safety Benchmark Suite
movec-proof
A formal operational semantics of the Smatus approach
drzchen's Repositories
drzchen/movec
Movec: A Tool for the Monitoring and Verification of C Programs
drzchen/movec-msbench
Movec-MSBench: A Memory Safety Benchmark Suite
drzchen/drzchen.github.io
drzchen/monic
Monic: A Monitorability Checker
drzchen/movec-benchmarks
The MiBench and SPEC Benchmark Suites
drzchen/movec-proof
A formal operational semantics of the Smatus approach