SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems.

Klaus Drger, Andrey Kupriyanov, Bernd Finkbeiner, Heike Wehrheim

Browse the full TACAS paper archive.