A mechanically proved and incremental development of IEEE 1394 tree identify protocol

Formal Aspects of Computing

Volumn 14, Issue 3, 2003, Pages 215-227

  Abrial, Jean Raymond ^c   Cansell, Dominique ^a   Méry, Dominique ^b  

^a LORIA   (France)

^b UNIVERSITÉ DE LORRAINE   (France)

^c NONE

Author keywords

Abstract model; B method; Event driven approach; Proof engine; Proof based development; Refinement

Indexed keywords

ALGORITHMS; CODES (STANDARDS); DISTRIBUTED COMPUTER SYSTEMS; GRAPH THEORY; PROBLEM SOLVING; TREES (MATHEMATICS);

EVENT DRIVEN APPROACH;

NETWORK PROTOCOLS;

EID: 0038075520     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001650300002     Document Type: Conference Paper

References (10)

1. [Abr96a] Abrial, J.-R.: The B book: Assigning Programs to Meanings. Cambridge University Press, Cambridge, UK, 1996.
2. [Abr96b] Abrial, J.-R.: Extending B without changing it (for developing distributed systems). In H. Habrias, editor, First Conference on the B Method, pages 169-190, November. Université de Nantes, Nantes, France, 1996.
3. [AbM98] Abrial, J.-R. and Mussat, L.: Introducing dynamic constraints in B. In D. Bert, editor, B'98: Recent Advances in the Development and Use of the B Method, volume 1393 of Lecture Notes in Computer Science. Springer, Berlin 1998.
4. [Bac79] Back, R. J. R.: On correct refinement of programs. Journal of Computer and System Sciences, 23(1):49-68, 1979.
5. [ChM88] Chandy, K. M. and Misra, J.: Parallel Program Design: A Foundation. Addison-Wesley, Reading, MA, 1988.
6. [Cle01] ClearSy. Atelier B, Manuel Utilisateur, 2001. Version 3.6. Aix-en-Provence.
7. [Dij76] Dijkstra, E. W.: A Discipline of Programming. Prentice-Hall, 1976.
8. [DGR00] Devillers, M., Griffioen, D., Romin, J. and Vaandrager, F.: Verification of a leader election protocol: formal methods applied to IEEE 1394. Formal Methods in System Design, 16:307-320, 2000.
9. [IEE95] IEEE. IEEE Standard for a High Performance Serial Bus. Std 1394-1995, August 1995.
10. [Lyn96] Lynch, N.: Distributed Algorithms. Morgan Kaufmann, San Makeo, CA, page 501, 1996.