1 On the Automatic Verification of Non-Standard Measures of Consistency (2008)
Consistency between a process and its specification expressed in CSP is typically presented as a refinement check. Within the traces model consistency is measured by examining only the traces of the...
2 A Fast Incremental Update Scheme for PageRank (2008)
Christie Bolton, Steve Chien, Keir Fraser, Matthias Jacob, Carlos Pacheco, Sanjit A. Seshia, ...
This document features informal reports by interns who spent the summer of 2001 working with researchers at
The specification and development of a large, complex system might involve the construction of a variety of models, each of which might address a di#erent aspect of design. Where two or more models...
On the refinement of state-based and event-based models / (2002)
Supervisor: Jim Davies.
Activity graphs and processes (2000)
Abstract. The widespread adoption of graphical notations for software design has created a demand for formally-based methods to support and extend their use. A principal focus for this demand is the...
Using relational and behavioural semantics in the verification of object models (2000)
Abstract This paper shows how a combination of relational and behavioural semantics might be used in the creation and verification of object models. Specifications written in UML may be expressed in...
On the refinement and simulation of data types and processes (1999)
Christie Bolton, Jim Davies, Jim Woodcock
This paper presents a behavioural semantics for abstract data types, and thus a correspondence between data types and processes. The value of this correspondence lies in the fact that simulation of...
On the refinement and simulation of data types and processes (1999)
Christie Bolton, Jim Davies, Jim Woodcock
This paper presents a behavioural semantics for abstract data types, and thus a correspondence between data types and processes. The value of this correspondence lies in the fact that simulation of...