A mechanical verifier for supporting the design of reliable reactive systems.

Tie-Cheng Wang, Allen Goldberg

Browse the full ISSRE paper archive.