Questions and Answers About Ten Formal Methods

P.H. Hartel, M.J. Butler, A. Currie, P. Henderson, M Leuschel, A. Martin, A. Smith, U. Ultes-Nitsche, B. Walters

    Research output: Contribution to conferencePaperAcademicpeer-review

    57 Downloads (Pure)

    Abstract

    An abstract model of a 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 is effective.
    Original languageEnglish
    Number of pages40
    Publication statusPublished - Jul 1999
    Event4th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 1999 - Trento, Italy
    Duration: 11 Jul 199912 Jul 1999
    Conference number: 4

    Workshop

    Workshop4th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 1999
    Abbreviated titleFMICS
    CountryItaly
    CityTrento
    Period11/07/9912/07/99

    Fingerprint Dive into the research topics of 'Questions and Answers About Ten Formal Methods'. Together they form a unique fingerprint.

    Cite this