Lifting in Z

Electronic Notes in Theoretical Computer Science

Volumn 42, Issue , 2001, Pages 197-219

  Martin, Andrew ^a   Fidge, Colin ^b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; DATA REDUCTION; FORMAL LOGIC; FUNCTIONS; POLYNOMIALS; REAL TIME SYSTEMS; THEOREM PROVING; Z TRANSFORMS;

DATA TYPES; DRAFT STANDARDS; LIFTING FUNCTIONS; REAL-TIME SPECIFICATIONS;

CONTROL SYSTEM ANALYSIS;

EID: 18944369150     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80886-7     Document Type: Conference Paper

References (21)

1. Alur R., Courcoubetis C., Henzinger T.A., Ho P.-H. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. Grossman R.L., Nerode A., Ravn A.P., Rischel H. Hybrid Systems, volume 736 of Lecture Notes in Computer Science. 1993;209-229 Springer-Verlag
2. Backus J. Can functional programming be liberated from the von Neumann style? Communications of the ACM. 21:(8):1978;613-641
3. Billington E.J., Donovan D., Jones B.D., Oates-Williams S., Street A. Discrete Mathematics: Logic and Structures. 1990;Longman
4. Bollinger J.G., Duffie N.A. Computer Control of Machines and Processes. 1988;Addison-Wesley
5. Le Borgne M., Marchand H., Rutten E., Samaan M. Formal verification of SIGNAL programs: Application to a power transformer station controller. Wirsing M., Nivat M. Algebraic Methodology and Software Technology, volume 1101 of Lecture Notes in Computer Science. 1996;271-285 Springer-Verlag
6. S. M. Brien, M. Engel, He Jifeng, A. Ravn, and H. Rischel. Z description of duration calculus. Draft ProCos II Project document OU HJF 12/2, Oxford University Computing Laboratory, August 1993.
7. A. Cerone. Axiomatisation of an interval calculus for theorem proving. In C. J. Fidge, editor, Computing: The Australasian Theory Symposium 2001, volume 42 of Electronic Notes in Theoretical Computer Science. Elsevier, 2001. To appear.
8. Coolahan J.E. Jr., Roussopoulos N. Timing requirements for time-driven systems using augmented Petri Nets. IEEE Transactions on Software Engineering. SE-9:(5):September 1983;603-616
9. DaSilva C., Dehbonei B., Mejia F. Formal specification in the development of industrial applications: Subway speed control system. Diaz M., Groz R. Formal Description Techniques, V. 1993;199-213 Elsevier
10. Duddy K., Everett L., Millerchip C., Mahony B., Hayes I.J. Z-based notation for the specification of timing properties. Draft. Department of Computer Science. June 1995;University of Queensland
11. C. J. Fidge, P. Kearney, and A. P. Martin. Applying the Cogito program development environment to real-time system design. In C. McDonald, editor, Computer Science '98: Proc. 21st Australasian Computer Science Conference, pages 367-378. Springer-Verlag, 1998.
12. Franklin G.F., Powell J.D. Digital Control of Dynamic Systems. 1980;Addison-Wesley
13. Halbwachs N., Lagnier F., Ratel C. Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE. IEEE Transactions on Software Engineering. 18:(9):September 1992
14. I. J. Hayes. Real-time program refinement using auxiliary variables. In M. Joseph, editor, Sixth International School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT 2000), volume 1926 of Lecture Notes in Computer Science, pages 170-184. Springer-Verlag, September 2000.
15. Mac Lane S. Categories for the Working Mathematician, volume 5 of Graduate Texts in Mathematics. second edition :1998;Springer-Verlag, New York
16. Leigh J.R. Control Theory: A Guided Tour, volume 45 of IEE Control Engineering Series. 1992;Peter Peregrinus Ltd
17. Nadjm-Tehrani S., Strömberg J.-E. Formal verification of dynamic properties in an aerospace application. Formal Methods in System Design. 14:(2):March 1999;135-169
18. J. M. Spivey. Understanding Z: A Specification Language and its Formal Semantics, volume 3 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, January 1988.
19. Toyn, I., editor. Z Notation. Number 13568.2. Z Standards Panel, ISO Panel JTC1/SC22/WG19 (Rapporteur Group for Z), 1999. 'Final Committee Draft'
20. Wadler P. Monads for functional programming. Broy Manfred. Program Design Calculi, NATO ASI Series F. 1993;233-264 Springer-Verlag. Marktoberdorf International Summer School, 1992
21. Chaochen Zhou. Duration calculi: An overview. Bjorner D., Broy M., Pottosin I. Formal Methods in Programming and Their Applications, volume 735 of Lecture Notes in Computer Science. 1993;256-266 Springer-Verlag. Extended abstract