52 citations · 79 across the 16 of their papers we have counts for
1 paper · 2 filters
Gudmund Grov
A program verifier is a tool that can be used to verify that a "contract" for a program holds - i.e. given a precondition the program guarantees that a given postcondition holds -…