论文信息 - Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995)

Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995)

ion will be essential features. For others, the need will be the validation of some specific mechanism within a complex system. The availability of efficient tools able to deal with the problem complexity will be a key issue. Finally, others might like to consider formal methods as a means of automating the coding phase of a complex system. The quality of the produced code, in terms of memory occupation and response time, will be a key factor in the assessment of the formal approach selected.

[1] Rance Cleaveland,et al. The Concurrency Factory - Practical Tools for Specification, Stimulation, Verification, and Implementation of Concurrent Systems , 1994, Specification of Parallel Algorithms.

[2] Bill Curtis,et al. A field study of the software design process for large systems , 1988, CACM.

[3] Kenneth L. McMillan,et al. Symbolic model checking: an approach to the state explosion problem , 1992 .

[4] Kenneth J. Turner,et al. Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL , 1993 .

[5] Gerard J. Holzmann,et al. The Theory and Practice of A Formal Method: NewCoRe , 1994, IFIP Congress.

[6] C. Zheng,et al. ; 0 ; , 1951 .

[7] Gerard J. Holzmann,et al. Design and validation of computer protocols , 1991 .

[8] Michael A. Jackson,et al. Software requirements and specifications - a lexicon of practice, principles and prejudices , 1995 .

[9] Robert P. Kurshan,et al. Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach , 2014 .

[10] Jan van Leeuwen,et al. Formal models and semantics , 1990 .

[11] Jan van Leeuwen,et al. Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics , 1994 .