Model Checking: Verification or Debugging?

T.C. Ruys, Hendrik Brinksma

    Research output: Contribution to conferencePaper

    25 Downloads (Pure)
    Original languageUndefined
    Pages3009-3015
    Number of pages7
    Publication statusPublished - 2000

    Keywords

    • IR-66267
    • EWI-6445

    Cite this