Model Checking: Verification or Debugging?

    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