Travelled to:1 × USA
Collaborated with:∅ A.Lin
Talks about:protocol (2) formal (2) verif (2) transfer (1) messag (1) model (1) check (1) pass (1) file (1)
Person: Fuyau Lin
DBLP: Lin:Fuyau
Contributed to:
1995Wrote 2 papers:
- SEKE-1995-Lin #protocol #verification
- Formal Verification of the File Transfer Protocol (FL), pp. 117–122.
- SEKE-1995-LinL #message passing #model checking #protocol #verification
- Formal Verification of a Message-Passing Protocol with Model Checking (AL, FL), pp. 296–302.