Explore projects
-
-
-
-
-
Satya Prakash Nayak / rpg-stela
MIT LicenseUpdated -
Lennard Gäher / Refinedrust Dev
Apache License 2.0Updated -
Vincent Lafeychine / Refinedrust Dev
Apache License 2.0Updated -
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 -
cld / systems / sock-shop / queue-master
Apache License 2.0Updated -
Lasse Blaauwbroek / PROSA - Formally Proven Schedulability Analysis
BSD 2-Clause "Simplified" LicenseThe main Coq development of the Prosa project: http://prosa.mpi-sws.org
Updated -
LailaElbeheiry / PROSA - Formally Proven Schedulability Analysis
BSD 2-Clause "Simplified" LicenseThe main Coq development of the Prosa project: http://prosa.mpi-sws.org
Updated -
ptorrx / PROSA - Formally Proven Schedulability Analysis
BSD 2-Clause "Simplified" LicenseThe main Coq development of the Prosa project: http://prosa.mpi-sws.org
Updated -
Pierre Roux / PROSA - Formally Proven Schedulability Analysis
BSD 2-Clause "Simplified" LicenseThe main Coq development of the Prosa project: http://prosa.mpi-sws.org
Updated -
-
Iris / POPL20 Iris Tutorial
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Burcu Özkan / pctcp-cass
OtherPCTCP (Probabilistic Concurrency Testing with Chain Partitioning) algorithm for testing Cassandra system. Implemented on top of SAMC/DMCK distributed system model checking tool.
Updated -
cld / systems / sock-shop / payment
Apache License 2.0Updated -
A tool that helps instrumenting a system for distributed tracing. The tool detects places where trace context propagation is potentially needed.
Updated -
UpdatedUpdated