Explore GitLab
Discover projects, groups and snippets. Share your projects with others

Burcu Özkan / pctcpcass
PCTCP (Probabilistic Concurrency Testing with Chain Partitioning) algorithm for testing Cassandra system. Implemented on top of SAMC/DMCK distributed system model checking tool.
0updated 
FP / orc11
Operational Repaired C11

0updated

0updated

Marianna Rapoport / iriscoq
The Coq development for Iris
0updated 
Janno / iriscoq
The Coq development for Iris
0updated 
Jan / iriscoq
The Coq development for Iris

0updated

Glen Mével / iriscoq
The Coq development for Iris

rLTL / rltl2ltl
rLTL to LTL rewriter
0updated 
Antonin Riffard / rtproofs
The main Coq development.
0updated 
0updated

Dan Frumin / irisexamples
Some example verification demonstrating the use of Iris.
0updated 
FP / irisci
This project contains some scripts and other files that are used by many Iris project for their CI
0updated 
Joseph Tassarotti / ipmfscqdemo
This is a demo showing how the the Iris Proof Mode can be used with FSCQ.
0updated 
Amin Timany / irisora
Formalizes the ordered RA model of Iris

AVA / FloVer
A certificate checker for roundoff error bounds

Aman Shankar Mathur / VRTrackingSimulator
A simulator to visualize/analyze tracking data from VR
0updated 
Filip Niksic / PSharp
Safe asynchronous eventdriven .NET programming.
0updated