41 citations · 58 across the 7 of their papers we have counts for
1 paper · 2 filters
Vlad Rusu, David Nowak
Reachability Logic is a formalism that can be used, among others, for expressing partial-correctness properties of transition systems. In this paper we present three proof systems…