Open AccessEfficient Counterexample Generation for Game Solving in NuSMV
Author(s) -
Kwon Gi Hyeon,
Lee Tae Hun
Publication year - 2003
Publication title -
the kips transactions partd
Language(s) - English
Resource type - Journals
ISSN - 1598-2866
DOI - 10.3745/kipstd.2003.10d.5.813
Subject(s) - counterexample , space (punctuation) , model checking , computer science , mathematics , algorithm , discrete mathematics , operating system
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom