Model Checking: Verification or Debugging?

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined
Title of host publication	Proceedings of the International Conference on Parallel and Distributed Processing Techniques (PDPTA 2000)
Place of Publication	Las Vegas, Nevada, USA
Pages	3009-3015
Number of pages	7
Publication status	Published - 22 Feb 2000

Keywords

@inproceedings{8b5b65698fa546ee9f252c61bcf5251c,

title = "Model Checking: Verification or Debugging?",

keywords = "METIS-119654",

author = "T.C. Ruys and Hendrik Brinksma",

year = "2000",

month = feb,

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)",

}