R Alur, BY Wang - … Aided Verification: 13th International Conference, CAV …, 2001 - Springer
We consider the problem of establishing consistency of code implementing a network
protocol with respect to the documentation as a standard RFC. The problem is formulated as …