11 citations · 19 across the 5 of their papers we have counts for
1 paper · 1 filter
Moses D. Liskov, Joshua D. Guttman, John D. Ramsdell +2
Enrich-by-need protocol analysis is a style of symbolic protocol analysis that characterizes all executions of a protocol that extend a given scenario. In effect, it computes a str…