Deductive verifiers require intensive user interaction in the form of writing precise
specifications, thereby limiting their use in practice. While many solutions have been …