Towards Effective Model Checking

Theodorus Cornelis Ruys

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

12 Downloads (Pure)

Abstract

This dissertation describes research into the effective application of model checkers, smart computer programs which can be used to find errors in (the designs of) systems.
Original languageEnglish
Awarding Institution
  • University of Twente
Supervisors/Advisors
  • Brinksma, Hendrik , Supervisor
  • Langerak, Rom, Co-Supervisor
Award date22 Mar 2001
Place of PublicationEnschede
Publisher
Print ISBNs90-365-1564-5
Publication statusPublished - 22 Mar 2001

Fingerprint

Model checking
Computer program listings

Keywords

  • FMT-MC: MODEL CHECKING
  • METIS-202496
  • EWI-6554
  • IR-36596
  • FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS

Cite this

Ruys, T. C. (2001). Towards Effective Model Checking. Enschede: Universiteit Twente.
Ruys, Theodorus Cornelis. / Towards Effective Model Checking. Enschede : Universiteit Twente, 2001. 253 p.
@phdthesis{c70ae931cff74fd7825c5594505a1d7e,
title = "Towards Effective Model Checking",
abstract = "This dissertation describes research into the effective application of model checkers, smart computer programs which can be used to find errors in (the designs of) systems.",
keywords = "FMT-MC: MODEL CHECKING, METIS-202496, EWI-6554, IR-36596, FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS",
author = "Ruys, {Theodorus Cornelis}",
year = "2001",
month = "3",
day = "22",
language = "English",
isbn = "90-365-1564-5",
series = "IPA Dissertation Series",
publisher = "Universiteit Twente",
number = "2001-07",
school = "University of Twente",

}

Ruys, TC 2001, 'Towards Effective Model Checking', University of Twente, Enschede.

Towards Effective Model Checking. / Ruys, Theodorus Cornelis.

Enschede : Universiteit Twente, 2001. 253 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

TY - THES

T1 - Towards Effective Model Checking

AU - Ruys, Theodorus Cornelis

PY - 2001/3/22

Y1 - 2001/3/22

N2 - This dissertation describes research into the effective application of model checkers, smart computer programs which can be used to find errors in (the designs of) systems.

AB - This dissertation describes research into the effective application of model checkers, smart computer programs which can be used to find errors in (the designs of) systems.

KW - FMT-MC: MODEL CHECKING

KW - METIS-202496

KW - EWI-6554

KW - IR-36596

KW - FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS

M3 - PhD Thesis - Research UT, graduation UT

SN - 90-365-1564-5

T3 - IPA Dissertation Series

PB - Universiteit Twente

CY - Enschede

ER -

Ruys TC. Towards Effective Model Checking. Enschede: Universiteit Twente, 2001. 253 p. (IPA Dissertation Series; 2001-07). (CTIT PhD-Thesis Series; 2001-34).