A Lazy Unbounded Model Checker for Event-B.

Paulo J. Matos, Bernd Fischer, Joo Marques-Silva

Browse the full ICFEM paper archive.