1 citations · 1 across the 3 of their papers we have counts for
3 papers
It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
David Basin, Nate Foster, Kenneth L. McMillan +5
Formal specifications have numerous benefits for both designers and users of network protocols. They provide clear, unambiguous representations, which are useful as documentation a…
A Case Study in Analytic Protocol Analysis in ACL2
Max von Hippel, Panagiotis Manolios, Kenneth L. McMillan +2
When verifying computer systems we sometimes want to study their asymptotic behaviors, i.e., how they behave in the long run. In such cases, we need real analysis, the area of math…
Self-Similarity Breeds Resilience
Sanjiva Prasad, Lenore D. Zuck
Self-similarity is the property of a system being similar to a part of itself. We posit that a special class of behaviourally self-similar systems exhibits a degree of resilience t…