GitHub - tw33dl3dee/pspin: Parallel PROMELA model checker.

Name		Name	Last commit message	Last commit date
Latest commit History 493 Commits
articles		articles
cmake		cmake
data		data
graphics		graphics
literature		literature
src		src
test		test
thesis		thesis
.gitignore		.gitignore
CMakeLists.txt		CMakeLists.txt
TASKS		TASKS
bootstrap.sh		bootstrap.sh