Gijs Kant

Gijs Kant

University of Twente - Enschede / Netherlands
Engineering & Technology / Computer Science
AD Scientific Index ID: 5332603
Universiteit Twente
person_outline Gijs Kant's MOST POPULAR ARTICLES
1-) LTSmin: high-performance language-independent model checking International Conference on Tools and Algorithms for the Construction and …, 2015
2-) Read, Write and Copy Dependencies for Symbolic Model Checking. Haifa Verification Conference, 204-219, 2014
3-) Generating and solving symbolic parity games arXiv preprint arXiv:1407.7928, 2014
4-) Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games GRAPHITE 2012, 0
5-) Using canonical forms for isomorphism reduction in graph-based model checking Centre for Telematics and Information Technology, University of Twente, 2010