Show simple item record

dc.contributor.authorBaillie, J.
dc.date.accessioned2010-10-05T09:21:35Z
dc.date.available2010-10-05T09:21:35Z
dc.date.issued1994
dc.identifier.citationBaillie , J 1994 , Using testing semantics to show safety and liveness in the development of CCS specifications . UH Computer Science Technical Report , vol. 199 , University of Hertfordshire .
dc.identifier.otherPURE: 95752
dc.identifier.otherPURE UUID: 4cad6f3c-7894-4acf-8975-54f40323938b
dc.identifier.otherdspace: 2299/4878
dc.identifier.urihttp://hdl.handle.net/2299/4878
dc.description.abstractWhere formal methods are used in industrial software engineering, it is primarily as notation or language - an aid to the software engineer in thinking about and understanding the problem. What we address in this paper is the question of whether the laws of CCS can be used to prove important properties of a system, namely, safety and liveness. This begs questions about what precisely we mean by safety and liveness and how we model these properties within the constraints of the calculus. Ideally we should like to be able to prove an appropriate congruence between specification and design that would enable us to conclude that a property holding for the specification will also hold for the design. (We interpret 'design' to mean the refinement of a specification by decomposition.)en
dc.language.isoeng
dc.publisherUniversity of Hertfordshire
dc.relation.ispartofseriesUH Computer Science Technical Report
dc.rightsOpen
dc.titleUsing testing semantics to show safety and liveness in the development of CCS specificationsen
dc.contributor.institutionSchool of Computer Science
dc.contributor.institutionCentre for Computer Science and Informatics Research
dcterms.dateAccepted1994
rioxxterms.typeOther
herts.preservation.rarelyaccessedtrue
herts.rights.accesstypeOpen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record