MAVEN: Modular Aspect Verification.

Max Goldman, Shmuel Katz

Browse the full TACAS paper archive.