Open AccessEfficient Counterexample Generation for Game Solving in NuSMV
Publication year - 2003
Publication title -
jeongbo cheo'li haghoe nonmunji. d
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