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 Gnesi, S. and latella, D. (eds.) At Proc. 4th Int. Workshop on Formal Methods for Industrial Critical Systems. , pp. 179-203.

Download

[img] Postscript dsse-tr-99-1.ps - Other
Download (3MB)

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
Venue - Dates: Proc. 4th Int. Workshop on Formal Methods for Industrial Critical Systems, 1999-07-01
Organisations: Electronic & Software Systems
ePrint ID: 250495
Date :
Date Event
July 1999Published
Date Deposited: 10 Mar 2000
Last Modified: 18 Apr 2017 00:20
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250495

Actions (login required)

View Item View Item