Model Checking: Verification or Debugging?

T.C. Ruys, Hendrik Brinksma

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageUndefined
Title of host publicationProceedings of the International Conference on Parallel and Distributed Processing Techniques (PDPTA 2000)
Place of PublicationLas Vegas, Nevada, USA
Pages3009-3015
Number of pages7
Publication statusPublished - 22 Feb 2000

Keywords

  • METIS-119654

Cite this

Ruys, T. C., & Brinksma, H. (2000). Model Checking: Verification or Debugging? In Proceedings of the International Conference on Parallel and Distributed Processing Techniques (PDPTA 2000) (pp. 3009-3015). Las Vegas, Nevada, USA.
Ruys, T.C. ; Brinksma, Hendrik. / Model Checking: Verification or Debugging?. Proceedings of the International Conference on Parallel and Distributed Processing Techniques (PDPTA 2000). Las Vegas, Nevada, USA, 2000. pp. 3009-3015
@inproceedings{8b5b65698fa546ee9f252c61bcf5251c,
title = "Model Checking: Verification or Debugging?",
keywords = "METIS-119654",
author = "T.C. Ruys and Hendrik Brinksma",
year = "2000",
month = "2",
day = "22",
language = "Undefined",
isbn = "1-892512-51-3",
pages = "3009--3015",
booktitle = "Proceedings of the International Conference on Parallel and Distributed Processing Techniques (PDPTA 2000)",

}

Ruys, TC & Brinksma, H 2000, Model Checking: Verification or Debugging? in Proceedings of the International Conference on Parallel and Distributed Processing Techniques (PDPTA 2000). Las Vegas, Nevada, USA, pp. 3009-3015.

Model Checking: Verification or Debugging? / Ruys, T.C.; Brinksma, Hendrik.

Proceedings of the International Conference on Parallel and Distributed Processing Techniques (PDPTA 2000). Las Vegas, Nevada, USA, 2000. p. 3009-3015.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Model Checking: Verification or Debugging?

AU - Ruys, T.C.

AU - Brinksma, Hendrik

PY - 2000/2/22

Y1 - 2000/2/22

KW - METIS-119654

M3 - Conference contribution

SN - 1-892512-51-3

SP - 3009

EP - 3015

BT - Proceedings of the International Conference on Parallel and Distributed Processing Techniques (PDPTA 2000)

CY - Las Vegas, Nevada, USA

ER -

Ruys TC, Brinksma H. Model Checking: Verification or Debugging? In Proceedings of the International Conference on Parallel and Distributed Processing Techniques (PDPTA 2000). Las Vegas, Nevada, USA. 2000. p. 3009-3015