Unlocking the Power of Environment Assumptions for Unit Proofs.

Siddharth Priya, Temesghen Kahsai, Arie Gurfinkel

Browse the full SEFM paper archive.