Proof of Specification Properties by Using Finite State Machines and Temporal Logic

Ana R. Cavalli, Fran├žois Horn. Proof of Specification Properties by Using Finite State Machines and Temporal Logic. In Harry Rudin, Colin H. West, editors, Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987. pages 221-233, North-Holland, 1987.

Abstract

Abstract is missing.