Skip to content
/ ivy Public
forked from kenmcmil/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 …

License

Notifications You must be signed in to change notification settings

ifndefJOSH/ivy

Folders and files

NameName
Last commit message
Last commit date

Latest commit

ac4a86a · Jul 30, 2020
May 11, 2017
Jun 4, 2016
Jul 27, 2020
Feb 26, 2020
Jul 30, 2020
Jul 27, 2020
Dec 28, 2015
Dec 2, 2019
Sep 13, 2019
Jul 29, 2020
May 3, 2017
Feb 22, 2017
Nov 23, 2018
Sep 13, 2019
Dec 28, 2015
Feb 20, 2020
Sep 16, 2019
May 11, 2017
Feb 19, 2020
Feb 19, 2020
Dec 28, 2015
Feb 20, 2020

Repository files navigation

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.

Installation

Linux

On Debian-based Linux ditributions such as Ubuntu, download and install the file ms-ivy_X.X_YYYY.deb where X.X is the IVy version and YYYY is the machine architecture. Use your system’s package manager to install this package, or the following commands:

$ sudo dpkg -i ms-ivy_X.X_YYYY.deb
$ sudo apt-get install -f

The first command will report missing dependencies, which will be installed by the second command.

Windows

The Windows binary distribution is in the form of a zip archive. Download the file ivy.X.Y-.Windows-z86.zip, where X.X is the IVy version (this will work on both 32-bit and 64 bit Intel Windows). Use Windows Explorer to extract this archive in the directory C:\. This should give you a directory C:\ivy. To use IVy in a command window, first execute this command:

> C:\ivy\scripts\activate

Further Reading

For further information on IVy, see the IVy web site.

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

No packages published

Languages

  • C++ 66.7%
  • Python 29.4%
  • C# 2.3%
  • Jupyter Notebook 0.9%
  • JavaScript 0.5%
  • Shell 0.1%
  • Other 0.1%