Model Checking: Verification or Debugging?

T.C. Ruys, Hendrik Brinksma

    Research output: Contribution to conferencePaperAcademicpeer-review

    32 Downloads (Pure)
    Original languageUndefined
    Pages3009-3015
    Number of pages7
    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
    CountryUnited States
    CityLas Vegas
    Period26/06/0029/06/00

    Keywords

    • IR-66267
    • EWI-6445

    Cite this