Photo of Jaco van de Pol

Jaco van de Pol

prof.dr.

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

Research Output 2007 2018

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