7 citations · 27 across the 17 of their papers we have counts for
1 paper · 2 filters
Peter Schrammel
Modern program verifiers use logic-based encodings of the verification problem that are discharged by a back end reasoning engine. However, instances of such encodings for large pr…