## Speaker:

## Time:

## Venue:

## Webpage:

Various verification methods depend on theorem provers to obtain proofs of verification conditions. If the provers return proofs that satisfy certain structure then it may enhance the performance of the verification methods.