![]() |
Volumn 2318 LNCS, Issue , 2002, Pages 230-239
|
Comparing symbolic and explicit model checking of a software system
|
Author keywords
[No Author keywords available]
|
Indexed keywords
ARTIFICIAL INTELLIGENCE;
COMPUTER SCIENCE;
COMPUTERS;
DISK CONTROLLER;
EXPLICIT MODEL CHECKING;
EXPLICIT-STATE MODEL CHECKING;
HARDWARE SYSTEM;
RULE BASE;
SOFTWARE SYSTEMS;
SYMBOLIC MODEL CHECKING;
MODEL CHECKING;
|
EID: 84893531526
PISSN: 03029743
EISSN: 16113349
Source Type: Book Series
DOI: 10.1007/3-540-46017-9_18 Document Type: Conference Paper |
Times cited : (24)
|
References (17)
|