![]() |
Volumn 24, Issue 1, 2002, Pages 51-64
|
An assume-guarantee rule for checking simulation
|
Author keywords
D.2.4 Software Engineering : Software Program Verification formal methods; F.3.1 Logics and Meanings of Programs : Specifying and Verifying and Reasoning about Programs; Simulation relations; Verification; Verification rules
|
Indexed keywords
SIMULATION PREORDERS;
STATE TRANSITION SYSTEMS;
COMPUTER SIMULATION;
COMPUTER SOFTWARE;
CONSTRAINT THEORY;
DECOMPOSITION;
FORMAL LOGIC;
HIERARCHICAL SYSTEMS;
TREES (MATHEMATICS);
COMPUTER SYSTEMS;
|
EID: 0040620592
PISSN: 01640925
EISSN: None
Source Type: Journal
DOI: 10.1145/509705.509707 Document Type: Article |
Times cited : (22)
|
References (10)
|