Triggerless Happy - Intermediate Verification with a First-Order Prover.

Yuting Chen, Carlo A. Furia

Browse the full IFM paper archive.