Formal verification of condition data flow diagrams for assurance of correct network protocols

Proceedings - International Conference on Advanced Information Networking and Applications, AINA

Volumn 2003-January, Issue , 2003, Pages 289-292

  Liu, Shaoying ^a  

^a HOSEI UNIVERSITY   (Japan)

Author keywords

Computer networks; Computer science; Data flow computing; Formal languages; Formal specifications; Formal verification; Large scale systems; Petri nets; Protocols; Uniform resource locators

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER NETWORKS; COMPUTER SCIENCE; DATA FLOW GRAPHS; DATA TRANSFER; FLOWCHARTING; FORMAL LANGUAGES; FORMAL SPECIFICATION; LARGE SCALE SYSTEMS; NETWORK ARCHITECTURE; NETWORK PROTOCOLS; PETRI NETS; SPECIFICATION LANGUAGES; SPECIFICATIONS; WEBSITES;

CORRECTNESS VERIFICATIONS; DATA FLOW COMPUTING; DATA FLOW DIAGRAMS; DEPENDABLE SYSTEMS; INFERENCE RULES; LOGICAL SYSTEM; POTENTIAL METHODS; STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGES;

FORMAL VERIFICATION;

EID: 34248517833     PISSN: 1550445X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/AINA.2003.1192890     Document Type: Conference Paper

References (7)

1. Wilfried Brauer, Grzegorz Rozenberg, and Arto Salomaa, Petri Nets - An Introduction, Springer-Verlag, Berlin Heidelberg, 1985.
2. Cliff B. Jones, Systematic Software Development Using VDM, Prentice-Hall International(UK) Ltd., 1990.
3. Shaoying Liu, A. Jeff Offutt, Chris Ho-Stuart, Yong Sun, and Mitsuru Ohba, "SOFL: A Formal Engineering Methodology for Industrial Applications," IEEE Transactions on Software Engineering, vol. 24, no. 1, pp. 337-344, January 1998, Special Issue of Formal Methods.
4. Yoyuaki Taguchi, "Formal Specification of Network Protocol Using the SOFL Specification Language," ITPC Project Report, ITPC, Faculty of Engineering, Hosei University, Tokyo, Japan, 2000.
5. C.A.R. Hoare and N. Wirth, "An Axiomatic Definition of the Programming Language PASCAL," Acta Informatica, , no. 2, pp. 335-355, 1973.
6. E.W. Dijkstra and C.S. Scholten, Predicate Calculus and Progam Semantics, Springer-Verlag, 1990.
7. Carroll Morgan, Programming from Specifications, Prentice-Hall International(UK) Ltd., 1990.