Model Checking: Verification or Debugging?

T.C. Ruys (Keynote speaker), Brinksma, H. (Keynote speaker)

    Activity: Talk or presentationOral presentation

    Period27 Jun 2000
    Event titleInternational Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2000
    Event typeConference
    LocationLas Vegas, United States, Nevada
    Degree of RecognitionInternational

    Keywords

    • METIS-120873