Towards Effective Model Checking

Theodorus Cornelis Ruys

    Research output: ThesisPhD Thesis - Research UT, graduation UT

    25 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

    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.