Research Output 2014 2017

  • 4 Conference contribution
  • 1 Chapter
  • 1 Paper
  • 1 Working paper
Filter
Chapter
2015
24 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
Modeling languages
Interface states