Verifying an infinite family of inductions simultaneously using data independence and FDR
A. W. Roscoe and S.J. Creese
Details
| 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 |
Links
Related pages
|
People |