Popular repositories Loading

1. cooperace cooperace Public

   CoOpeRace: Cooperative Data Race Verification

   SWIG 1

2. sv-comp-witness-vscode sv-comp-witness-vscode Public

   Kotlin

3. softsec25 softsec25 Public

   https://courses.cs.ut.ee/2025/softsec

   Python 1

4. race-harness race-harness Public

   Attempt to facilitate automation of Linux kernel module analysis using Goblint

   Python

5. race-harness-cil race-harness-cil Public

   Patches for C Intermediate Language to use in Linux kernel verification

   OCaml

6. race-harness-goblint race-harness-goblint Public

   Patches for Goblint analyzer for Linux kernel verification

   OCaml