Gijs Kant

According to our database, Gijs Kant authored at least 5 papers between 2010 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

LTSmin: High-Performance Language-Independent Model Checking.

Gijs Kant, Alfons Laarman, Jeroen Meijer, Jaco van de Pol, Stefan Blom, Tom van Dijk

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2014

Generating and Solving Symbolic Parity Games.

Gijs Kant, Jaco van de Pol

Proceedings of the Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering, 2014

Read, Write and Copy Dependencies for Symbolic Model Checking.

Jeroen Meijer, Gijs Kant, Stefan Blom, Jaco van de Pol

Proceedings of the Hardware and Software: Verification and Testing, 2014

2012

Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games

Gijs Kant, Jaco van de Pol

Proceedings of the Proceedings First Workshop on GRAPH Inspection and Traversal Engineering, 2012

2010

Distributed Graph-Based State Space Generation.

Stefan Blom, Gijs Kant, Arend Rensink

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010