Author:
Cavalcanti Ana,Harwood Will,Woodcock Jim
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Back, R.J., Fan, X., Preoteasa, V.: Reasoning about Pointers in Refinement Calculus. In: 10th Asia-Pacific Software Engineering Conference (APSEC 2003), p. 425. IEEE Computer Society, Los Alamitos (2003)
2. Lecture Notes in Computer Science;S.D. Brookes,1986
3. Burstall, R.M.: Some techniques for proving correctness of programs which alter data structures. Machine Intelligence 7, 23–50 (1972)
4. Cavalcanti, A.L.C., Sampaio, A.C.A., Woodcock, J.C.P.: Unifying Classes and Processes. Software and System Modelling 4(3), 277–296 (2005)
5. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International, Englewood Cliffs (1985)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Applying Formal Verification to an Open-Source Real-Time Operating System;Theories of Programming and Formal Methods;2023
2. Heterogeneous Semantics and Unifying Theories;Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques;2016
3. Test-data generation for control coverage by proof;Formal Aspects of Computing;2014-07
4. The Safety-Critical Java memory model formalised;Formal Aspects of Computing;2013-01
5. UTP and Temporal Logic Model Checking;Unifying Theories of Programming;2010