Model Checking: Verification or Debugging?

T.C. Ruys, Hendrik Brinksma

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

    Original languageUndefined
    Title of host publicationProceedings of the International Conference on Parallel and Distributed Processing Techniques (PDPTA 2000)
    Place of PublicationLas Vegas, Nevada, USA
    Number of pages7
    Publication statusPublished - 22 Feb 2000


    • METIS-119654

    Cite this