No photo of Jeroen Meijer

Jeroen Meijer

, MSc.

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

Research Output 2014 2018

  • 6 Conference contribution
  • 1 Chapter
  • 1 Working paper
46 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 proceedingChapterAcademicpeer-review

Model checking
Interface states
Modeling languages