EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Research Project: VOCHS: Verification of Complex Hierarchical Systems
Home Policy Brochure Browse Search User Area Contact Help

2015

Kant, G. and Laarman, A.W. and Meijer, J.J.G. and van de Pol, J.C. and Blom, S.C.C. and van Dijk, T. (2015) LTSmin: High-Performance Language-Independent Model Checking. In: Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science 9035. Springer Verlag, London, pp. 692-707. ISSN 0302-9743 ISBN 978-3-662-46680-3

2014

Kant, G. and van de Pol, J.C. (2014) Generating and Solving Symbolic Parity Games. In: Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2014), 05 Apr 2014, Grenoble, France. pp. 2-14. Electronic Proceedings in Theoretical Computer Science 159. EPTCS. ISSN 2075-2180
Meijer, J.J.G. and Kant, G. and Blom, S.C.C. and van de Pol, J.C. (2014) Read, Write and Copy Dependencies for Symbolic Model Checking. In: Proceedings of the 10th International Haifa Verification Conference, HVC 2014, 18-20 Nov 2014, Haifa, Israel. pp. 204-219. Lecture Notes in Computer Science 8855. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-13337-9

2012

Kant, G. and van de Pol, J.C. (2012) Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games. In: First Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2012), 1 Apr 2012, Tallinn, Estonia. pp. 50-65. Electronic Proceedings in Theoretical Computer Science 99. EPTCS. ISSN 2075-2180

2010

Blom, S.C.C. and Kant, G. and Rensink, A. (2010) Distributed Graph-Based State Space Generation. In: Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010), 28 Sep 2010, Enschede, The Netherlands. 8. Electronic Communications of the EASST 32. European Association of Software Science and Technology (EASST). ISSN 1863-2122