Towards Effective Model Checking

Theodorus Cornelis Ruys

doi:10.3990/1.9789036515641

Towards Effective Model Checking

Theodorus Cornelis Ruys

Research output: Thesis › PhD Thesis - Research UT, graduation UT

409 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 language	English
Qualification	Doctor of Philosophy
Awarding Institution	University of Twente
Supervisors/Advisors	Brinksma, Ed, Supervisor Langerak, Rom, Co-Supervisor
Award date	22 Mar 2001
Place of Publication	Enschede
Publisher	Universiteit Twente
Print ISBNs	90-365-1564-5
DOIs	https://doi.org/10.3990/1.9789036515641
Publication status	Published - 22 Mar 2001

Keywords

FMT-MC: MODEL CHECKING
FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS

Access to Document

10.3990/1.9789036515641

Thesis T.C. RuysFinal published version, 1.24 MB

Cite this

@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, FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS",

author = "Ruys, {Theodorus Cornelis}",

year = "2001",

month = mar,

day = "22",

doi = "10.3990/1.9789036515641",

language = "English",

isbn = "90-365-1564-5",

series = "IPA Dissertation Series",

publisher = "Universiteit Twente",

number = "2001-07",

school = "University of Twente",

}

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 - FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS

U2 - 10.3990/1.9789036515641

DO - 10.3990/1.9789036515641

M3 - PhD Thesis - Research UT, graduation UT

SN - 90-365-1564-5

T3 - IPA Dissertation Series

PB - Universiteit Twente

CY - Enschede

ER -

Towards Effective Model Checking

Abstract

Keywords

Access to Document

Fingerprint

Cite this