Explore projects
-
Lennard Gäher / ReLoC
BSD 3-Clause "New" or "Revised" LicenseA logic for proving contextual refinements [project website]
Updated -
Niklas Mück / ReLoC
BSD 3-Clause "New" or "Revised" LicenseA logic for proving contextual refinements [project website]
Updated -
Ike Mulder / ReLoC
BSD 3-Clause "New" or "Revised" LicenseA logic for proving contextual refinements [project website]
Updated -
restart-rollback / register-sgx
MIT LicenseDistributed register implementation inside Intel SGX
Updated -
Vincent Lafeychine / Refinedrust Dev
Apache License 2.0Updated -
Lennard Gäher / Refinedrust Dev
Apache License 2.0Updated -
Updated
-
Updated
-
Simon Spies / RefinedC Extended
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Iris / RefinedC
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Laila Elbeheiry / refinedc
BSD 3-Clause "New" or "Revised" LicenseUpdated -
This is a static analyser developed for the Program Analysis course at TU Kaiserslautern. for more information see the course page: https://moodle.mpi-sws.org/course/view.php?id=24
Updated -
Robbert Krebbers / ra-gps
BSD 3-Clause "New" or "Revised" LicenseA soundness proof for GPS and RSL with Release-Acquire semantics in Iris.
Updated -
Iris / Quiver
BSD 3-Clause "New" or "Revised" LicenseUpdated -
cld / systems / sock-shop / queue-master
Apache License 2.0Updated -
Aastha Mehta / qapla
BSD 4-Clause "Original" or "Old" LicenseUpdated -
Updated
-
Updated
-
UpdatedUpdated