GitHub - J3173/vercors: The VerCors tool set for Verification of Concurrent Software

Name		Name	Last commit message	Last commit date
Latest commit History 4,997 Commits
config		config
core		core
deps		deps
examples		examples
hre		hre
include		include
libs/commons-lang3-3.1		libs/commons-lang3-3.1
main		main
modules		modules
src		src
unix/bin		unix/bin
viper		viper
windows/bin		windows/bin
.gitignore		.gitignore
.travis.yml		.travis.yml
LICENSE.txt		LICENSE.txt
README		README
build.xml		build.xml

Repository files navigation

This folder contains the VerCors tool set for
verification of concucrrent software as one complete bundle.

The VerCors tool set for Verification of Concurrent Software