Protocol verification: the first ten years, the next ten years; some personal observations

Experience with formal methods in protocol development

ACM SIGCOMM Computer Communication Review

Coverability Analysis Using Symbolic Model Checking

CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods

Improvements in Coverability Analysis

FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right

Protocol quality engineering: addressing industry concerns about formal methods

Computer Communications