Questions and Answers About Ten Formal Methods

Pieter Hartel, Michael Butler, Andrew Currie, Peter Henderson, Michael Leuschel, Andrew Martin, Adrian Smith, Ulrich Ultes-Nitsche, Bob Walters

    Research output: Book/ReportReportAcademic

    73 Downloads (Pure)


    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 can be done effectively revealing a broad range of information about the considered application.
    Original languageEnglish
    Place of PublicationSouthampton, UK
    PublisherUniversity of Southampton
    Number of pages40
    Publication statusPublished - 1999

    Publication series

    NameTechnical Report
    PublisherDeclarative Systems and Software Engineering Group, University of Southampton


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

    Cite this