Explore projects
-
-
The main Coq development of the Prosa project: http://prosa.mpi-sws.org
Updated -
-
Updated
-
-
-
-
-
-
-
-
-
A simulator to visualize/analyze tracking data from VR
Updated -
-
-
-
The implementation for checking linearizability using hitting families of schedules
Updated -
PCTCP (Probabilistic Concurrency Testing with Chain Partitioning) algorithm for testing Cassandra system. Implemented on top of SAMC/DMCK distributed system model checking tool.
Updated