Using Circus for Safety-critical Applications

Electronic Notes in Theoretical Computer Science - Tập 95 - Trang 3-22 - 2004
J.C.P. Woodcock1
1Computing Laboratory, University of Kent, Canterbury , UK

Tài liệu tham khảo

Abrial, Jean-Raymond, Steam-boiler control specification problem. In [2]

1996, 1165

Back, 1983, Decentralization of process nets with centralized control, 131

Back, 1998

Bauer, 1993

Brien, 1992, Z Base Standard, PRG-107

Cavalcanti, Ana, A Refinement Calculus for Z. DPhil Thesis. Technical Monograph PRG-123, Oxford University Computing Laboratory. 1997

Cavalcanti, 2002, Refinement of Actions in Circus

Cavalcanti, 2003, A refinement strategy for Circus, Formal Aspects of Computing, 15, 146, 10.1007/s00165-003-0006-5

Cavalcanti, 2003, A unified language of classes and processes

Cavalcanti, 1998, ZRC—A refinement calculus for Z, Formal Aspects of Computing, 10, 267, 10.1007/s001650050016

Cavalcanti, 2002, A Weakest Precondition Semantics for Circus, 147

Cavalcanti, 2003, Predicate transformers in the semantics of Circus, IEE Procs Software, 150

Dijkstra, 1975, Guarded commands, nondeterminacy and the formal derivation of programs, Communications of the ACM, 18, 453, 10.1145/360933.360975

Hoare, 1985

Hoare, 1998, Unifying Theories of Programming

inmos ltd., 1984

Meisels, Irwin and Mark Saaltink. The Z/Eves Reference Manual. TR-1997-5493-2003d. ORA Canada. 1997

Morgan, 1994, Programming from Specifications

Morris, 1987, A theoretical basis for stepwise refinement and the programming calculus, Science of Computer Programming, 9, 287, 10.1016/0167-6423(87)90011-6

O'Halloran, 2002

Roscoe, 1998

Saaltink, Mark, The Z/Eves User's Guide. TR-1997-5493-2006. Odyssey Research Associates Canada. 1997

Sampaio, 2002, Refinement in Circus, Volume 2391, 451

Sherif, A. and He Jifeng. Toward a time model for Circus. Technical Report 257. International Institute for Software Technology. United Nations University. Macau. July 2002

Sherif, 2002, Toward a time model for Circus

Sherif, Adnan and He Jifeng. A framework for the specification, verification, and development of real-time systems using Circus. Technical Report 270. International Institute for Software Technology. United Nations University. Macau. November 2002

Spivey, 1992, The Z Notation: a Reference Manual

Spivey, 1988

Woodcock, 2001

Woodcock, 2001, A concurrent language for refinement, 10.14236/ewic/IWFM2001.7

Woodcock, 2001, The steam boiler in a unified theory of Z and CSP, 291

Woodcock, 2002, The semantics of Circus—a concurrent language for refinement, 2272, 184

Woodcock, 1996, Using Z: Specification, Refinement, and Proof

Thông tin
Thông tin xuất bản

Electronic Notes in Theoretical Computer Science

Tập 95

3-22

Thông tin tác giả