Model Checking: Verification or Debugging?

T.C. Ruys, Hendrik Brinksma

Research output: Contribution to conferencePaperAcademicpeer-review

20 Downloads (Pure)
Original languageUndefined
Pages3009-3015
Number of pages7
Publication statusPublished - 2000

Keywords

  • IR-66267
  • EWI-6445

Cite this

@conference{111cd0fa2ca244b58f3b38972df0a58e,
title = "Model Checking: Verification or Debugging?",
keywords = "IR-66267, EWI-6445",
author = "T.C. Ruys and Hendrik Brinksma",
year = "2000",
language = "Undefined",
pages = "3009--3015",

}

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

2000. 3009-3015.

Research output: Contribution to conferencePaperAcademicpeer-review

TY - CONF

T1 - Model Checking: Verification or Debugging?

AU - Ruys, T.C.

AU - Brinksma, Hendrik

PY - 2000

Y1 - 2000

KW - IR-66267

KW - EWI-6445

M3 - Paper

SP - 3009

EP - 3015

ER -