Skip to content

GitLab

Explore

Sign in

Rupak Majumdar
hitmc

H

hitmc

Project information

Model checker for distributed systems using hitting families of schedules

35 Commits
4 Branches
0 Tags

README
Apache License 2.0

Created on

April 18, 2016

Copy SSH clone URLgit-rts@gitlab.mpi-sws.org:rupak/hitmc.git
Copy HTTPS clone URLhttps://gitlab.mpi-sws.org/rupak/hitmc.git