The University of Southampton
University of Southampton Institutional Repository

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.

Record type: Conference or Workshop Item (Paper)


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.

Postscript - Other
Download (3MB)

More information

Published date: July 1999
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


Local EPrints ID: 250495
ISBN: 88-7958-009-4
PURE UUID: 5014f02d-961b-4c3e-8119-cf63bfc1de18
ORCID for M. Butler: ORCID iD

Catalogue record

Date deposited: 10 Mar 2000
Last modified: 18 Jul 2017 10:41

Export record


Author: P. Hartel
Author: M. Butler ORCID iD
Author: A. Currie
Author: P. Henderson
Author: M. Leuschel
Author: A. Martin
Author: A. Smith
Author: U. Ultes-Nitsche
Author: R.J. Walters
Editor: S. Gnesi
Editor: D. latella

University divisions

Download statistics

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton:

ePrints Soton supports OAI 2.0 with a base URL of

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.