Skip to main content

Verifying an infinite family of inductions simultaneously using data independence and FDR

A. W. Roscoe and S.J. Creese

Book Title
Formal Methods for Protocol Engineering and Distributed Systems‚ the proceedings of Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification‚ Testing and Verification (FORTE/PSTV'99)
Publisher
Kluwer Academic Publishers
Year
1999