SLAB: A Certifying Model Checker for Infinite−State Concurrent Systems
Klaus Dräger‚ Andrey Kupriyanov‚ Bernd Finkbeiner and Heike Wehrheim
Book Title
Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Editor
Javier Esparza and Rupak Majumdar
Pages
271−274
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
6015
Year
2010