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