Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems.

Zhe Dang, Richard A. Kemmerer

Browse the full ICSE paper archive.