SLAB: A Certifying Model Checker for Infinite−State Concurrent Systems
| Autor: | Dräger, K, Kupriyanov, A, Finkbeiner, B, Wehrheim, H |
|---|---|
| Rok vydání: | 2010 |
| Zdroj: | Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. 6015 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|