33 citations · 42 across the 9 of their papers we have counts for
1 paper · 1 filter
Zachary Grannan, Alexander J. Summers
Specifications for modular program verifiers are expressed as constraints on program states (e.g. preconditions) and relations on program states (e.g. postconditions). For programs…