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.
C++NOASSERTION
Watchers
- abhi-chakMicrosoft
- ajay-aroraMicrosoft
- AmandaSilverMicrosoft
- andysterlandMicrosoft
- babumuralidharanMicrosoft
- chiguri
- chshrikhMicrosoft
- crystkMicrosoft
- danzamerlot85@danzamerlot
- decimalbellShenzhen
- diganrMicrosoft
- dnfclas.NET Foundation
- erniecohenAmazon Web Services
- gengchao
- gianugoMicrosoft
- hemchansMicrosoft
- jhcloos
- jillcaryMicrosoft
- jngliMicrosoft
- kamaljitMIcrosoft Corporation
- karistersBerlin
- kenmcmilUT Austin
- lasureddMicrosoft
- mvvsubbuMicrosoft
- nano-oStellar Development Foundation
- niadakMicrosoft
- nipunjaMicrosoft
- peterlee2008
- rahudhaMicrosoft
- retSeattle, WA
- sanjeevdwivediMicrosoft Corp
- selvasinghMicrosoft
- shashwatguptaMicrosoft
- siranenAndrzej Piotrowski
- tballmsftMicrosoft
- zgzn