Research Output 2007 2018

31 Citations

LTSmin: High-Performance Language-Independent Model Checking

Kant, G., Laarman, A., Meijer, J., van de Pol, J. C., Blom, S. & van Dijk, T. Apr 2015 Tools and Algorithms for the Construction and Analysis of Systems. Baier, C. & Tinelli, C. (eds.). London: Springer Verlag, p. 692-707 16 p. (Lecture Notes in Computer Science; vol. 9035, no. 9035)

Research output: Scientific - peer-reviewChapter

Model checking
Interface states
Modeling languages