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

D.S. Distefano

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

76 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 languageUndefined
Supervisors/Advisors
  • Brinksma, Hendrik , Supervisor
  • Katoen, Joost P., Advisor
  • Rensink, Arend , Advisor
Award date1 Jan 2003
Place of PublicationEnschede
Publisher
Print ISBNs90-365-1975-6
Publication statusPublished - 2003

Keywords

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

Cite this

Distefano, D. S. (2003). On Model Checking the Dynamics of Object-Based Software: A Foundational Approach. Enschede: Twente University Press (TUP).
Distefano, D.S.. / On Model Checking the Dynamics of Object-Based Software: A Foundational Approach. Enschede : Twente University Press (TUP), 2003. 313 p.
@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 = "Undefined",
isbn = "90-365-1975-6",
publisher = "Twente University Press (TUP)",
address = "Netherlands",

}

On Model Checking the Dynamics of Object-Based Software: A Foundational Approach. / Distefano, D.S.

Enschede : Twente University Press (TUP), 2003. 313 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

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 -

Distefano DS. On Model Checking the Dynamics of Object-Based Software: A Foundational Approach. Enschede: Twente University Press (TUP), 2003. 313 p.