No photo of Jeroen Meijer

Jeroen Meijer

, MSc.

20142018
If you made any changes in Pure these will be visible here soon.

Research Output 2014 2018

  • 5 Conference contribution
  • 1 Chapter
  • 1 Paper
  • 1 Working paper
Filter
Chapter
2015
38 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: Chapter in Book/Report/Conference proceedingChapter

File
Model checking
Interface states
Modeling languages