7 citations · 7 across the 1 of their papers we have counts for
1 paper
Howard Barringer, Alex Groce, Klaus Havelund +1
Formal specification languages have long languished, due to the grave scalability problems faced by complete verification methods. Runtime verification promises to use formal speci…