https://kenmcmil.github.io/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://kenmcmil.github.io/ivy/

Last synced: 27 days 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://kenmcmil.github.io/ivy/
• Owner: kenmcmil
• License: other
• Fork: true (microsoft/ivy)
• Created: 2020-09-04T18:26:40.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2024-11-14T19:51:06.000Z (3 months ago)
• Last Synced: 2024-11-14T20:33:48.182Z (3 months ago)
• Language: C++
• Size: 58.1 MB
• Stars: 83
• Watchers: 7
• Forks: 25
• Open Issues: 58
• 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 / Languages)

README

        
# 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.

## Further Reading

For further information on IVy, see [the IVy web site](http://kenmcmil.github.io/ivy/).