http://kenmcmil.com
UT Austin
Ken McMillan
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...
kenmcmil
