Lazy Self-composition for Security Verification.

Weikun Yang, Yakir Vizel, Pramod Subramanyan, Aarti Gupta, Sharad Malik

Browse the full CAV paper archive.