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

The FORTE 1995 conference was held in Montreal. One of the activities that took place was panel presentation and discussion that lasted about two hours. These exercise elicited several remarkable contributions from the panelists and the audience. This article serves as a record of the panelists'...

Full description

Saved in:
Bibliographic Details
Published inComputer networks and ISDN systems Vol. 28; no. 13; pp. 1845 - 1855
Main Authors Courtiat, Jean-Pierre, Dembinski, Piotr, Holzmann, Gerard J., Logrippo, Luigi, Rudin, Harry, Zave, Pamela
Format Journal Article
LanguageEnglish
Published Elsevier B.V 01.10.1996
Subjects
Formal methods
Software
Online AccessGet full text

Cover

More Information
Summary:The FORTE 1995 conference was held in Montreal. One of the activities that took place was panel presentation and discussion that lasted about two hours. These exercise elicited several remarkable contributions from the panelists and the audience. This article serves as a record of the panelists' contributions.
Bibliography:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ObjectType-Article-1
ObjectType-Feature-2
ISSN:0169-7552
DOI:10.1016/0169-7552(96)00083-9