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

D.S. Distefano

    Research output: ThesisPhD Thesis - Research UT, graduation UT

    168 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