Model Checking: Verification or Debugging?

Theo C. Ruys, Ed Brinksma

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    51 Downloads (Pure)

    Abstract

    Model checking tools are increasingly being used for the validation of real-life systems in an industrial context. This paper discusses two validation approaches with respect to the application of model checkers. The verification approach tries to ascertain the correctness of a formal model of a system, whereas the debugging approach tries to find errors in the model. This paper discusses the differences between the two complementing approaches and shows for each approach its advantages and disadvantages.
    Original languageEnglish
    Title of host publicationProceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2000
    Subtitle of host publicationLas Vegas, Nevada, USA, June 26-29, 2000
    EditorsH.R. Arabnia
    PublisherCSREA Press
    Pages3009-3015
    Number of pages7
    ISBN (Print)1-892512-51-3
    Publication statusPublished - 2000
    EventInternational Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2000 - Las Vegas, United States
    Duration: 26 Jun 200029 Jun 2000

    Conference

    ConferenceInternational Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2000
    Abbreviated titlePDPTA 2000
    Country/TerritoryUnited States
    CityLas Vegas
    Period26/06/0029/06/00

    Fingerprint

    Dive into the research topics of 'Model Checking: Verification or Debugging?'. Together they form a unique fingerprint.

    Cite this