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

Fri, 01 Jan 2010 00:00:00 +0100

Klaus Dräger, Andrey Kupriyanov , Bernd Finkbeiner, Heike Wehrheim:
SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems. TACAS 2010: 271-274