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.


[img] Postscript
Download (3715Kb)


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
Accepted Date and Publication Date:
July 1999Published
Date Deposited: 10 Mar 2000
Last Modified: 31 Mar 2016 13:50
Further Information:Google Scholar

Actions (login required)

View Item View Item

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics