Theo Ruys

Theo C. Ruys
University of Twente
Department of Computer Science
Formal Methods and Tools Group (FMT)
P.O. Box 217
7500 AE Enschede
The Netherlands

Phone: +31 53 4893716
Fax: +31 53 4893247
Email: ruys@cs.utwente.nl
Homepage: http://www.cs.utwente.nl/~ruys/
Office: INF 5037

Profile

I am a lecturer ("universitair docent") in the Formal Methods and Tools group of the Department of Computer Science at the University of Twente, which is situated in the east of the Netherlands. From November 1995 till October 2000 I was a Ph.D. student in the same group.

I participate in the IPA research school (i.e. the Institute for Programming Research and Algorithmics).

Education

This year 2003/2004, I am involved in the following courses:

SPIN 2002 - SPIN Beginners' Tutorial

At the SPIN 2002 Workshop in Grenoble (April 11th, 2002), I presented a SPIN Beginners' Tutorial on the (effective) application of the model checker SPIN to the validation and verification of software systems. Please find:

the abstract of the tutorial,
(an earlier version of) the extended abstract of the paper in the SPIN 2002 Proceedings as PDF file,
the slides of the tutorial (version: 19-Sep-2002) in PDF format: 2 slides per page and 6 slides per page, and
The only difference between this version and an earlier version of the tutorial (16-Apr-2002) is that slide 30 has been fixed. Slide 30 contained an annoying error in the mutex algorithm of Dekker. Thanks go to Sudha Sivashanm, who spotted the error.
a list of papers (in PDF format) that were referenced during the tutorial.

Note that my Ph.D. Thesis (see below) contains several chapters on the effective application of model checking technology.

Ph.D. Thesis

Theo C. Ruys. Towards Effective Model Checking. Ph.D. Thesis. University of Twente, Department of Computer Science. March 2001. Summary PDF PostScript

This page has last been updated on 1 December 2003 (ruys@cs.utwente.nl).

DBV MVL Mind the Gap