IVy verification tool
Project description
# 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](http://microsoft.github.io/ivy/).
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distributions
Built Distributions
Hashes for ms_ivy-1.8.11-py2-none-manylinux1_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | b1da1a60fa1757b4c04cc9f26ab0d5a24343df5762ed6cb7fe5c1dff7cee55c1 |
|
MD5 | 3b996cf370b9fa5bc320ae8bd36e1c86 |
|
BLAKE2b-256 | 825910a545aec92526fa567bb332308c3d1a5de4c97a8b13440e253dce5d10a4 |
Hashes for ms_ivy-1.8.11-py2-none-macosx_10_15_x86_64.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 79f7b354a77640ea55bc3ea8367c2ab7d3d6811e0c3aae028110d9d8448fc434 |
|
MD5 | 94bae70f7d88dc1bd338d0b30e8c2532 |
|
BLAKE2b-256 | 45d37b02f969d45bf57043686750ab823bb8f0bcbb7b2c40a99ffd7190d243a9 |