Reducing CTL-live model checking to first-order logic validity checking.

Amirhossein Vakili, Nancy A. Day

Browse the full FMCAD paper archive.