At a Glance
| Applications | Protocol Verifier |
| Developers | Microsoft Research |
| Licenses | MIT |
| Maintenance | Not Maintained |
Description
Not Maintained Since 2023
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.