Can Current Protocol Verification Techniques Guarantee Correctness?
暂无分享,去创建一个
[1] P. M. Melliar-Smith,et al. Temporal Logic Specification of Distributed Systems , 1981, ICDCS.
[2] Gregor von Bochmann,et al. Formal Methods in Communication Protocol Design , 1980, IEEE Trans. Commun..
[3] Lyle Harold Ramshaw,et al. Formalizing the analysis of algorithms , 1979 .
[4] Dexter Kozen. Semantics of Probabilistic Programs , 1979, FOCS.
[5] William C. Lynch,et al. Computer Systems: Reliable full-duplex file transmission over half-duplex telephone line , 1968, Commun. ACM.
[6] Keith A. Bartlett,et al. A note on reliable full-duplex transmission over half-duplex links , 1969, Commun. ACM.
[7] Brent Hailpern,et al. Verifying network protocols using temporal logic , 1980 .
[8] Gregor von Bochmann,et al. Finite State Description of Communication Protocols , 1978, Comput. Networks.
[9] Zohar Manna,et al. Verification of concurrent programs, Part I: The temporal framework , 1981 .