Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/microsoft/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.
https://github.com/microsoft/ivy
Last synced: 3 months ago
JSON representation
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.
- Host: GitHub
- URL: https://github.com/microsoft/ivy
- Owner: microsoft
- License: other
- Archived: true
- Created: 2015-12-28T04:07:55.000Z (almost 9 years ago)
- Default Branch: master
- Last Pushed: 2021-01-06T13:06:17.000Z (almost 4 years ago)
- Last Synced: 2024-09-16T15:18:40.747Z (3 months ago)
- Language: C++
- Size: 46.1 MB
- Stars: 223
- Watchers: 44
- Forks: 80
- Open Issues: 40
-
Metadata Files:
- Readme: README.md
- License: license.txt
Awesome Lists containing this project
- awesome-formal-verification - ivy - IVy is a research tool/language 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. (Software verification / Tools/Proof Assistants)
README
# ivy
**Starting Sep. 5, 2020, Ivy development is moving to [https://github.com/kenmcmil/ivy](https://github.com/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 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/).