Formal Verification of the File Transfer Protocol.

Published in: SEKE (1995)

Keyphrases

file transfer
formal verification
model checking
model checker
coloured petri nets
bounded model checking
symbolic model checking
automated verification
program slicing
temporal logic
software development