Explore projects
-
-
A collection of Linux kernel configurations for LITMUS^RT kernels used at MPI-SWS (and previously at UNC).
Updated -
Updated
-
-
Updated
-
-
-
-
-
-
-
-
Updated
-
Code and documents for "Resilient Abstraction-Based Controller Design"
Updated -
OLD VERSION, SEE https://gitlab.mpi-sws.org/iris/reloc INSTEAD
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 -
Simon Friis Vindum / ReLoC
BSD 3-Clause "New" or "Revised" LicenseA logic for proving contextual refinements [project website]
Updated -
Joseph Tassarotti / ReLoC
BSD 3-Clause "New" or "Revised" LicenseA logic for proving contextual refinements [project website]
Updated -
Iris / ReLoC
BSD 3-Clause "New" or "Revised" LicenseA logic for proving contextual refinements [project website]
Updated