On Model Checking the Dynamics of Object-Based Software: A Foundational Approach

D.S. Distefano

On Model Checking the Dynamics of Object-Based Software: A Foundational Approach

D.S. Distefano

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

613 Downloads (Pure)

Abstract

This dissertation is concerned with software verication, in particular automated techniques to assess the correct functioning of object-based programs. We focus on the dynamic aspects of these programs and consider model-checking based verication techniques. The major obstacle to the design of modelchecking algorithms is the innite state-space explosion caused by the dynamic constructs supported by object-based languages.

Original language	English
Qualification	Doctor of Philosophy
Awarding Institution	University of Twente
Supervisors/Advisors	Brinksma, Ed, Supervisor Katoen, Joost-Pieter, Advisor Rensink, Arend, Advisor
Award date	7 Nov 2003
Place of Publication	Enschede
Publisher	Twente University Press (TUP)
Print ISBNs	90-365-1975-6
Publication status	Published - 2003

Keywords

IR-41475
METIS-215011
EWI-6559
FMT-OO: VERIFICATION OF OBJECT-BASED SYSTEMS
FMT-MC: MODEL CHECKING

Access to Document

thesis_DistefanoFinal published version, 1.99 MB
distefanoFinal published version, 1.99 MB

http://purl.org/utwente/41475

Cite this

@phdthesis{65caf2c02b8f4df6ad0f584a0ae915e1,

title = "On Model Checking the Dynamics of Object-Based Software: A Foundational Approach",

abstract = "This dissertation is concerned with software verication, in particular automated techniques to assess the correct functioning of object-based programs. We focus on the dynamic aspects of these programs and consider model-checking based verication techniques. The major obstacle to the design of modelchecking algorithms is the innite state-space explosion caused by the dynamic constructs supported by object-based languages.",

keywords = "IR-41475, METIS-215011, EWI-6559, FMT-OO: VERIFICATION OF OBJECT-BASED SYSTEMS, FMT-MC: MODEL CHECKING",

author = "D.S. Distefano",

note = "IPA Dissertation Series ; 2003-09 ",

year = "2003",

language = "English",

isbn = "90-365-1975-6",

publisher = "Twente University Press (TUP)",

address = "Netherlands",

type = "PhD Thesis - Research UT, graduation UT",

school = "University of Twente",

}

TY - THES

T1 - On Model Checking the Dynamics of Object-Based Software: A Foundational Approach

AU - Distefano, D.S.

N1 - IPA Dissertation Series ; 2003-09

PY - 2003

Y1 - 2003

N2 - This dissertation is concerned with software verication, in particular automated techniques to assess the correct functioning of object-based programs. We focus on the dynamic aspects of these programs and consider model-checking based verication techniques. The major obstacle to the design of modelchecking algorithms is the innite state-space explosion caused by the dynamic constructs supported by object-based languages.

AB - This dissertation is concerned with software verication, in particular automated techniques to assess the correct functioning of object-based programs. We focus on the dynamic aspects of these programs and consider model-checking based verication techniques. The major obstacle to the design of modelchecking algorithms is the innite state-space explosion caused by the dynamic constructs supported by object-based languages.

KW - IR-41475

KW - METIS-215011

KW - EWI-6559

KW - FMT-OO: VERIFICATION OF OBJECT-BASED SYSTEMS

KW - FMT-MC: MODEL CHECKING

M3 - PhD Thesis - Research UT, graduation UT

SN - 90-365-1975-6

PB - Twente University Press (TUP)

CY - Enschede

ER -

On Model Checking the Dynamics of Object-Based Software: A Foundational Approach

Abstract

Keywords

Access to Document

Fingerprint

Cite this