Verifying data refinements using a model checker

JOURNAL ARTICLE published September 2006 in Formal Aspects of Computing

Authors: Graeme Smith | John Derrick

Specifying the apple Macintosh ^™ Toolbox event manager

JOURNAL ARTICLE published March 1989 in Formal Aspects of Computing

Authors: C. T. Burton | S. J. Cook | S. Gikas | J. R. Rowson | S. T. Sommerville

A Logic for Schema-Based Program Development

JOURNAL ARTICLE published July 2003 in Formal Aspects of Computing

Authors: Martin C. Henson | Steve Reeves

Generic Composition

JOURNAL ARTICLE published December 2002 in Formal Aspects of Computing

Authors: Yifeng Chen

Editorial

JOURNAL ARTICLE published December 2002 in Formal Aspects of Computing

Authors: CLIFF JONES

Model-checking dense-time Duration Calculus

JOURNAL ARTICLE published May 2004 in Formal Aspects of Computing

Authors: Martin Fränzle

Editorial

JOURNAL ARTICLE published April 2004 in Formal Aspects of Computing

Authors: Cliff Jones | John Cooke

Abstract Data Types Can HaveInequations ¹

JOURNAL ARTICLE published April 2003 in Formal Aspects of Computing

Authors: Hidetaka Kondoh

A predicate transformer for the progress property ‘to-always’

JOURNAL ARTICLE published May 1997 in Formal Aspects of Computing

Authors: Rutger M. Dijkstra | Beverly A. Sanders

Editorial

JOURNAL ARTICLE published September 1997 in Formal Aspects of Computing

Authors: John Cooke

Specification by interface separation

JOURNAL ARTICLE published July 1995 in Formal Aspects of Computing

Authors: I. J. Hayes | J. W. Sanders

A model checker for linear time temporal logic

JOURNAL ARTICLE published May 1992 in Formal Aspects of Computing

Authors: Michael Fisher

A transformation-based synthesis of temporal specifications

JOURNAL ARTICLE published November 1995 in Formal Aspects of Computing

Authors: Philippe Noël

An approach to literate and structured formal developments

JOURNAL ARTICLE published January 1996 in Formal Aspects of Computing

Authors: Martin Simons | Matthias Weber

On equivalence-completions of fairness assumptions

JOURNAL ARTICLE published November 1992 in Formal Aspects of Computing

Authors: Nissim Francez | Ralph -J. J. Back | Reino Kurki-Suonio

Unifying proof methodologies of duration calculus and timed linear temporal logic

JOURNAL ARTICLE published May 2004 in Formal Aspects of Computing

Authors: Zhiming Liu | Anders P. Ravn | Xiaoshan Li

Book reviews

JOURNAL ARTICLE published September 1995 in Formal Aspects of Computing

Authors: W. P. R. Mitchell | Alan Hamilton | A. J. McIsaac | Iain Stewart

Partial logics reconsidered: A conservative approach

JOURNAL ARTICLE published May 1993 in Formal Aspects of Computing

Authors: Olaf Owe

Essential concepts of algebraic specification and program development

JOURNAL ARTICLE published May 1997 in Formal Aspects of Computing

Authors: Donald Sannella | Andrzej Tarlecki

Forthcoming events

JOURNAL ARTICLE published January 1991 in Formal Aspects of Computing