Popular repositories Loading

1. movec movec Public

   Movec: A Tool for the Monitoring and Verification of C Programs

   C 22 2

2. movec-msbench movec-msbench Public

   Movec-MSBench: A Memory Safety Benchmark Suite

   C 4 2

3. monic monic Public

   Monic: A Monitorability Checker

4. movec-benchmarks movec-benchmarks Public

   The MiBench and SPEC Benchmark Suites

5. movec-proof movec-proof Public

   A formal operational semantics of the Smatus approach

   HTML

6. drzchen.github.io drzchen.github.io Public

   HTML