Verifying controlled components

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2999, Issue , 2004, Pages 87-107

  Schneider, Steve ^a   Treharne, Helen ^a  

^a UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS;

B MACHINES; CSP CONTROLLERS; DEADLOCK FREEDOM; HIDING OPERATORS; NEW RESULTS; ON STATE; TOOL SUPPORT;

CONTROLLERS;

EID: 30344432250     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24756-2_6     Document Type: Article

References (14)

1. [But00] M. Butler. csp2B: A practical approach to combining CSP and B. Formal Aspects of Computing, 12, 2000.
2. [EST03] N. Evans, S. A. Schneider, and H. E. Treharne. Investigating a file transmission protocol using CSP and B. In proceedings of ST.EVE workshop, 2003.
3. [FL03] M. Frappier and R. Laleau. Proving event ordering properties for information systems. In ZB2003, 2003.
4. [For97] Formal Systems (Europe) Ltd. Failures-Divergences Refinement: FDR2 Manual, 1997.
5. [Mor90] C. C. Morgan. Of wp and CSP. In W.H.J. Feijen, A. J. M. van Gasteren, D. Gries, and J. Misra, editors, Beauty is our Business: a birthday salute to Edsger J. Dijkstra. Springer-Verlag, 1990.
6. [Ros97] A. W. Roscoe. The Theory and Practice of Concurrency. Prentice-Hall, 1997.
7. [Sca98] B. Scattergood. The Semantics and Implementation of Machine-Readable CSP. D. Phil thesis, Oxford University, 1998.
8. [Sch99] S.A. Schneider. Concurrenl and Real-time Systems: The CSP approach. Wiley, 1999.
9. [SD01] G. Smith and J. Derrick. Specification, refinement and verification of concurrent systems - an integration of Object-Z and CSP. Formal Methods in System Design, 18(3), 2001.
10. [ST02a] S. Schneider and H. Treharne. CSP theorems for communicating B machines. Technical Report CSD-TR-02-05, Royal Holloway, University of London, 2002.
11. [ST02b] S.A. Schneider and H.E. Treharne. Communicating B machines. In ZB2002, volume LNCS 2272, 2002.
12. [Tre00] H. E. Treharne. Combining control executives and software specifications. PhD thesis, Royal Holloway, University of London, 2000.
13. [TSB03] H.E. Treharne, S.A. Schneider, and M. Bramble. Combining specifications using communication. In ZB2003, 2003.
14. [WC01] J. C. P. Woodcock and A. L. C. Cavalcanti. A concurrent language for refinement. In 5th Irish Workshop on Formal Methods, 2001.