Activities per year
Abstract
Model checking tools are increasingly being used for the validation of real-life systems in an industrial context. This paper discusses two validation approaches with respect to the application of model checkers. The verification approach tries to ascertain the correctness of a formal model of a system, whereas the debugging approach tries to find errors in the model. This paper discusses the differences between the two complementing approaches and shows for each approach its advantages and disadvantages.
Original language | English |
---|---|
Title of host publication | Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2000 |
Subtitle of host publication | Las Vegas, Nevada, USA, June 26-29, 2000 |
Editors | H.R. Arabnia |
Publisher | CSREA Press |
Pages | 3009-3015 |
Number of pages | 7 |
ISBN (Print) | 1-892512-51-3 |
Publication status | Published - 2000 |
Event | International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2000 - Las Vegas, United States Duration: 26 Jun 2000 → 29 Jun 2000 |
Conference
Conference | International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2000 |
---|---|
Abbreviated title | PDPTA 2000 |
Country/Territory | United States |
City | Las Vegas |
Period | 26/06/00 → 29/06/00 |
Fingerprint
Dive into the research topics of 'Model Checking: Verification or Debugging?'. Together they form a unique fingerprint.Activities
- 1 Oral presentation
-
Model Checking: Verification or Debugging?
Ruys, T. C. (Keynote speaker) & Brinksma, E. (Keynote speaker)
27 Jun 2000Activity: Talk or presentation › Oral presentation