Dione: A protocol verification system built with Dafny for I/O Automata
Chiao Hsieh and Sayan MitraSLIDES
Total: 2 presentations.
|
IFM 2019: 15TH INTERNATIONAL CONFERENCE ON INTEGRATED FORMAL METHODS
SLIDES
|
|