vacp2p
/
formalities
mirror of https://github.com/vacp2p/formalities.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
Formal models of vac protocols
12 Commits 4 Branches 0 Tags 84 KiB
TLA 93.9%
Makefile 6.1%
Go to file
Dean Eigenmann c96d712834
Update README.md 		2019-11-16 18:23:47 +01:00
MVDS Update README.md 2019-11-06 14:49:05 +01:00
.gitignore removed toolbox 2019-11-06 03:49:13 +01:00
.travis.yml travis (#3) 2019-11-06 14:48:38 +01:00
LICENSE mvds 2019-11-06 03:48:29 +01:00
Makefile travis (#3) 2019-11-06 14:48:38 +01:00
README.md Update README.md 2019-11-16 18:23:47 +01:00

README.md

Formalities

License Build Status

This repository contains formal models for vac protocols. These formal models serve to illustrate some of the high-level concepts.

The current specs implemented: