LTSmin: high-performance language-independent model checking G Kant, A Laarman, J Meijer, J van de Pol, S Blom, T van Dijk International Conference on Tools and Algorithms for the Construction and
, 2015 | 217 | 2015 |
Read, Write and Copy Dependencies for Symbolic Model Checking. J Meijer, G Kant, S Blom, J van de Pol Haifa Verification Conference, 204-219, 2014 | 23 | 2014 |
Generating and solving symbolic parity games G Kant, J Van De Pol arXiv preprint arXiv:1407.7928, 2014 | 23 | 2014 |
Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games G Kant, J van de Pol GRAPHITE 2012, 0 | 17* | |
Using canonical forms for isomorphism reduction in graph-based model checking G Kant Centre for Telematics and Information Technology, University of Twente, 2010 | 6 | 2010 |
Distributed Graph-Based State Space Generation S Blom, G Kant, A Rensink Electronic Communications of the EASST 32, 2011 | 4 | 2011 |
Distributed state space generation for graphs up to isomorphism G Kant University of Twente, 2010 | 1 | 2010 |
Preliminary Performance Evaluation of Admission Control in Load Control Pre-Congestion Notification G Kant | | 2008 |