Refinement Workshop 2005 Program

12 April 2005, co-located with ZB 2005
REFINE 2005 - BCS FACS - EPSRC RefineNet

Proceedings

The workshop proceedings will appear in Electronic Notes in Theoretical Computer Science. BCS-FACS will provide a best paper prize. The journal Formal Aspects of Computing will publish a special issue, consisting of developments and extensions of the best workshop papers.

Program

10 - 11.30am - Automation

Using the Alloy analyser to verify data refinement in Z
Bolton

Model checking downward simulations
Smith et al

Simpler reasoning about system properties - a proof by refinement technique
Atiya

11:30 - 12 - Morning tea

12 - 13:30 - Theory I

Angelic non-determinism and unifying theories of programming
Cavalcanti et al

nuZ - a wide spectrum logic
Henson

An analysis of operation refinement in an abortive paradigm
Moshe

13:30 - 14:30 - Lunch

14:30 - 16:00 - Theory II

Verifying concurrent data structures by simulation
Colvin et al

Tank monitoring: a pAMN case study
Schneider et al

Breaking the model: finalisations and a taxonomy of security attacks
Clark et al

16:00 - 16:30 - Afternoon tea

16:30 - 18:00 - OO and applications

Refinement patterns for UML
Lano et al

Refinement via consistency checking in MDA
Paige et al

Emergent properties do not refine
Polack et al

Organizers

Eerke Boiten, University of Kent, UK
John Derrick, University of Sheffield, UK
EPSRC RefineNet network (www.refinenet.org.uk)

Web pages maintained by RefineNet webmaster