What are the limits of model checking methods for the verification of real life protocols?

• Authors:

• S. Graf;J. L. Richier;C. Rodriquez;J. Voiron

• Affiliations:

• -;-;-;-

• Venue:
• Proceedings of the international workshop on Automatic verification methods for finite state systems
• Year:
• 1990