Faster temporal reasoning for infinite-state programs.

Byron Cook, Heidy Khlaaf, Nir Piterman

Browse the full FMCAD paper archive.