On-the-fly symbolic model checking for real-time systems.

Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine

Browse the full RTSS paper archive.