зеркало из https://github.com/microsoft/ivy.git
IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
45766b989e
|
||
|---|---|---|
| bin | ||
| doc | ||
| examples | ||
| ivy | ||
| lib/emacs | ||
| notebooks | ||
| test | ||
| vs/ext | ||
| .gitattributes | ||
| .gitignore | ||
| INSTALL | ||
| README.md | ||
| license.txt | ||
| setup.py | ||
README.md
ivy
IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
For further information on IVy, see the IVy web site.