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

This publication has 10 references indexed in Scilit:

• Dynamic hashing schemes
  ACM Computing Surveys, 1988
• The Delta-4 approach to dependability in open distributed computing systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1988
• The temporal logic of branching time
  Acta Informatica, 1983
• Fairness and related properties in transition systems ? a temporal logic to deal with fairness
  Acta Informatica, 1983
• Automatic verification of finite state concurrent system using temporal logic specifications
  Published by Association for Computing Machinery (ACM) ,1983
• Specification and verification of concurrent systems in CESAR
  Published by Springer Nature ,1982
• Impartiality, justice and fairness: The ethics of concurrent termination
  Published by Springer Nature ,1981
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• "Sometime" is sometimes "not never"
  Published by Association for Computing Machinery (ACM) ,1980
• An axiomatic proof technique for parallel programs I
  Acta Informatica, 1976