Questions and Answers About Ten Formal Methods


Hartel, P., Butler, M., Currie, A., Henderson, P., Leuschel, M., Martin, A., Smith, A., Ultes-Nitsche, U. and Walters, R.J. (1999) Questions and Answers About Ten Formal Methods. In, Proc. 4th Int. Workshop on Formal Methods for Industrial Critical Systems STAR/CNR, Pisa, Italy, 179-203.

Download

[img] Postscript
Download (3715Kb)

Description/Abstract

An abstract model of an industrial distributed data base application has been studied using process based, state based, and queueing theory based methods. The methods supported by graphical notations and/or integrated development environments were found to be easiest to work with. The methods supported by model checkers were the most successful in obtaining relevant information about the application. Applying a number of different methods to study one particular model encourages a problem to be viewed from different angles. This gives complementary information about the model. We report on a variety of problems of the model found through various routes. Our main conclusion is that asking experts to apply different methods and tools at a sufficiently abstract level can be done effectively revealing a broad range of information about the considered application.

Item Type: Conference or Workshop Item (Paper)
Additional Information: Organisation: ERCIM Address: Trento, Italy
ISBNs: 8879580094
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 250495
Date Deposited: 10 Mar 2000
Last Modified: 27 Mar 2014 19:51
Publisher: STAR/CNR, Pisa, Italy
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250495

Actions (login required)

View Item View Item