20 citations · 50 across the 12 of their papers we have counts for
1 paper · 2 filters
Gidon Ernst, Alexander Knapp, Toby Murray
We present a Hoare logic that extends program specifications with regular expressions that capture behaviors in terms of sequences of events that arise during the execution. The id…