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
    Pages3009-3015
    Number of pages7
    Publication statusPublished - 22 Feb 2000

    Keywords

    • METIS-119654

    Cite this

    Ruys, T. C., & Brinksma, H. (2000). Model Checking: Verification or Debugging? In Proceedings of the International Conference on Parallel and Distributed Processing Techniques (PDPTA 2000) (pp. 3009-3015). Las Vegas, Nevada, USA.