Using the alloy analyzer to verify data refinement in Z

Electronic Notes in Theoretical Computer Science

Volumn 137, Issue 2, 2005, Pages 23-44

  Bolton, Christie ^a  

^a UNIVERSITY OF WARWICK   (United Kingdom)

Author keywords

Alloy; Automatic verification; Refinement; Simulation; Z

Indexed keywords

ABSTRACTING; ALLOYS; SIMULATION; STANDARDS;

AUTOMATIC; REFINEMENT; VERIFICATION; Z;

DATA REDUCTION;

EID: 22144476552     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.04.023     Document Type: Conference Paper

References (16)

1. C. Bolton. On the Refinement of State-Based and Event-Based Models. D.Phil., University of Oxford, 2002
2. C. Bolton, and J. Davies A Comparison of Refinement Orderings and their Associated Simulation Rules J. Derrick E. Boiten J. Woodcock J. von Wright Proceedings of REFINE'02: The BCS Refinement Workshop 2002 Elsevier Science Publishers
3. C. Bolton and J. Davies. Refinement in Object-Z and CSP. In M. Butler, L. Petre, and K. Sere, editors, Proceedings of Integrated Formal Methods (IFM '02), 2002
4. W.-P. de Roever, and K. Engelhardt Data Refinement: Model-oriented Proof Methods and their Comparison Cambridge Tracts in Theoretical Computer Science 1998
5. J. Derrick, and E. Boiten Refinement in Z and Object-Z 2001 Springer
6. C.A.R. Hoare Communicating Sequential Processes 1985 Prentice Hall
7. C.A.R. Hoare, J. He, and J.W. Sanders Prespecification in Data Refinement Information Processing Letters 1987
8. D. Jackson, I. Shlyakhter, and M. Sridharan. A Micromodularity Mechanism. In Proceedings of the ACM SIGSOFT Conference on Foundations of Software Engineering/European Software Engineering Conference (FSE/ESEC '01), 2001
9. I. Meisels, and M. Saaltink The Z/EVES Reference Manual 1997
10. UK Ministry of Defence. Requirements for the Procurement of Safety Critical Software in Defence Equipment (00-55 / Issue 2), 1997
11. A.W. Roscoe The Theory and Practice of Concurrency Prentice Hall Series in Computer Science 1998
12. G. Smith The Object-Z Specification Language 2000 Kluwer Academic Publishers
13. J.M. Spivey The fuzz Manual 1988
14. J.M. Spivey The Z Notation: a Reference Manual 1992 Prentice-Hall International
15. I. Toyn CADiZ web pages http://www-users.cs.york.ac.uk/~ian/cadiz/ 2002
16. J.C.P. Woodcock, and J. Davies Using Z: Specification, Proof and Refinement Prentice Hall International Series in Computer Science 1996