Formal methods after 15 years: Status and trends A paper based on contributions of the panelists at the FORmal TEchnique '95 Conference, Montreal, October 1995

Computer Networks

Volumn 28, Issue 13, 1996, Pages 1845-1855

  Courtiat, Jean Pierre ^a   Dembinski, Piotr ^b   Holzmann, Gerard J ^c   Logrippo, Luigi ^d   Rudin, Harry ^e   Zave, Pamela ^c  

^a LAAS CNRS   (France)

^b INSTITUTE OF COMPUTER SCIENCE   (Poland)

^c LUCENT TECHNOLOGIES   (United States)

^d UNIVERSITY OF OTTAWA   (Canada)

^e IBM RESEARCH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; COMPUTER SOFTWARE; DATA COMMUNICATION SYSTEMS; FINITE AUTOMATA; FORMAL LANGUAGES; SOFTWARE ENGINEERING; STANDARDS; SYSTEMS ANALYSIS; TECHNOLOGY TRANSFER; TELECOMMUNICATION;

FORMAL DESCRIPTION TECHNIQUES; PROTOCOL VERIFICATION; SOFTWARE VERIFICATION THEORY; TELECOMMUNICATIONS SOFTWARE ENGINEERING;

NETWORK PROTOCOLS;

EID: 0030263759     PISSN: 13891286     EISSN: None     Source Type: Journal    
DOI: 10.1016/0169-7552(96)00083-9     Document Type: Article

References (12)

1. L. Logrippo, R.L. Probert and H. Ural, eds., Protocol Specification, Testing, and Verification, X (North-Holland, Amsterdam, 1990).
2. JP. Courtiat, RC. de Oliveira and L. Andriantsiferana, Formal modeling and verification of multimedia documents, Invited Paper at the 1996 Pacific Workshop on Distributed Multimedia Systems, Hong Kong, 1996.
3. K.J. Turner, ed., Using Formal Description Techniques. An Introduction to Estelle, Lotos and SDL (Wiley, New York, 1993).
4. J. van Leeuwen, ed., Formal Models and Semantics, Handbook of Theoretical Computer Science, Vol. B (Elsevier, Amsterdam, 1990).
5. G.J. Holzmann, Design and Validation of Computer Protocols, Prentice Hall Software Series (Prentice Hall, Englewood Cliffs, NJ, 1991).
6. K. McMillan, Symbolic Model Checking: An Approach to the State Explosion Problem (Kluwer Academic Publishers, Dordrecht, 1993).
7. R.P. Kurshan. Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton University Press, 1994).
8. R. Cleaveland, J.N. Gada, P.M. Lewis, S.A. Smolka, O. Sokolsky and S. Zhang, The Concurrency factory - Practical tools for specification, simulation, verification, and implementation of concurrent systems, in: S. Jagannathan, ed., Proc. DIMACS Workshop on Specification of Parallel Algorithms (AMS, Princeton, NJ, 1994).
9. G. J. Holzmann, The theory and practice of a formal method: NewCoRe, in: Proc. 13th IFIP World Computer Congress, Hamburg, 1994.
10. M. Jackson, Sofovare Requirements and Specifications: A Lexicon of Practice, Principles, and Prejudices (Addison-Wesley, Reading, MA, 1995).
11. B. Omis, H. Krasner and N. Iscoe, A field study of the software design process for large systems, Comm. ACM 31 (11) (1988) 1268-1287.
12. D.R. Smith, Toward practical applications of software synthesis, in: M. Wirsing, ed., Notes of the ICSE-17 Workshop on Formal Methods Application in Software Engineering Practice, Seattle (1995) 1-5, 24-25.