|
Volumn , Issue , 2004, Pages 406-415
|
Formal verification of requirements using SPIN: A case study on web services
|
Author keywords
[No Author keywords available]
|
Indexed keywords
AUTOMATED VERIFICATION;
FORMAL TROPOS (FT);
LINEAR TEMPORAL LOGIC (LTL);
LINEAR TIME LOGICS;
ANIMATION;
ENCODING (SYMBOLS);
FORMAL LOGIC;
MATHEMATICAL MODELS;
NETWORK PROTOCOLS;
OPTIMIZATION;
PROBLEM SOLVING;
SOFTWARE ENGINEERING;
WORLD WIDE WEB;
|
EID: 16244368799
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1109/SEFM.2004.1347546 Document Type: Conference Paper |
Times cited : (31)
|
References (15)
|