School of Computing

Issues in formal methods (chapter 3)

H. Bowman and J. Derrick

In H. Bowman and J. Derrick, editors, Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches, pages 182-196. Cambridge University Press, Cambridge, UK, September 2001.


The previous two chapters of this book discuss the construction of distributed systems and highlight some of the challenges that they pose. The central problem that these chapters leave is, of course, how to enhance reliability in the context of distribution. For those interested in a formal approach, this gives rise to a number of requirements on both the theoretical framework and particular engineering approaches. In this chapter we draw on some of the themes introduced in Chapters 1 and 2 to discuss implications on the use of formal methods for the specification of distributed systems.

Bibtex Record

author = {H. Bowman and J. Derrick},
title = {Issues in Formal Methods (chapter 3)},
month = {September},
year = {2001},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    publication_type = {incollection},
    submission_id = {28850_1003499231},
    ISBN = {0-521-77184-6},
    booktitle = {Formal Methods for Distributed Processing, A Survey of Object-oriented Approaches},
    publisher = {Cambridge University Press},
    editor = {H. Bowman and J. Derrick},
    address = {Cambridge, UK},

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014