|
Volumn 1703, Issue , 1999, Pages 342-346
|
Circular compositional reasoning about liveness
|
Author keywords
[No Author keywords available]
|
Indexed keywords
DESIGN;
MODEL CHECKING;
RECONFIGURABLE HARDWARE;
COMPOSITIONAL MODELING;
COMPOSITIONAL REASONING;
LIVENESS;
LIVENESS PROPERTIES;
OUT OF ORDER;
PROOF ASSISTANT;
S-ALGORITHMS;
SAFETY PROPERTY;
HARDWARE;
|
EID: 84958640835
PISSN: 03029743
EISSN: 16113349
Source Type: Book Series
DOI: 10.1007/3-540-48153-2_30 Document Type: Conference Paper |
Times cited : (67)
|
References (7)
|