Design and validation of protocols: a tutorial

Computer Networks and ISDN Systems

Volumn 25, Issue 9, 1993, Pages 981-1017

  Holzmann, Gerard J ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

design; design tools; formal description techniques; PROMELA; protocols; SPIN; validation; validation tools; verification

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DESIGN AIDS; EVALUATION;

FORMAL DESCRIPTION TECHNIQUES; PROTOCOL VALIDATION; PROTOCOL VERIFICATION; SOFTWARE TOOL SPIN; SPECIFICATION LANGUAGE PRROMELA;

NETWORK PROTOCOLS;

EID: 0027579227     PISSN: 01697552     EISSN: None     Source Type: Journal    
DOI: 10.1016/0169-7552(93)90095-L     Document Type: Article

References (16)

1. A note on reliable full-duplex transmission over half-duplex lines
2. Petri net theory for the correctness of protocols
3. Solution to a problem in concurrent programming control
4. Guarded commands, nondeterminacy and formal derivation of programs
5. A temporal logic to Promela “never clause” converter
6. Communicating sequential processes
7. Validating SDL specifications: an experiment
8. Design and Validation of Computer Protocols
9. The mutual exclusion problem-parts I and II
10. Reliable full duplex file transmission over half-duplex telephone lines
11. Tools and rules for the practising verifier
12. Myths about the mutual exclusion problem
13. Process sleep and wakeup on a shared-memory multiprocessor
14. Feedback for error control and two-way communication