Dione: A Protocol Verification System Built with Dafny for I/O Automata.

Chiao Hsieh Sayan Mitra

Published in: IFM (2019)

Keyphrases

cryptographic protocols
model checking
protocol specification
formal analysis
model checker
lightweight
input output
cellular automata
finite state
colored petri nets
formal proof
finite automata
main memory
network protocols
temporal logic
finite state machines
end to end
asynchronous circuits
network devices