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.
forked from microsoft/ivy
-
Notifications
You must be signed in to change notification settings - Fork 0
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 …
License
kant/ivy
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
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 …
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published
Languages
- Python 84.0%
- C# 9.7%
- Jupyter Notebook 3.7%
- JavaScript 1.9%
- Shell 0.4%
- Emacs Lisp 0.2%
- Other 0.1%