4 citations · 14 across the 8 of their papers we have counts for
1 paper · 1 filter
Elaine Li, Felix Stutz
Global protocol specifications are the starting point of top-down verification methodologies, and serve as a blueprint for synthesizing local specifications that guarantee the corr…