Author:
Xu Zhaowei,Zhang Wenhui,Sui Yuefei
Publisher
Springer International Publishing
Reference22 articles.
1. Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12, 576–580 (1969)
2. Cook, S.A.: Soundness and completeness of an axiom system for program verification. SIAM J. Comput. 7, 70–90 (1978)
3. Mirkowska, G., Salwicki, A.: Algorithmic Logic. Springer, Dordrecht (1987)
4. Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)
5. Reynolds, J.C.: Separation logic: a logic for shared mutable data structures. In: LICS, pp. 55–74 (2002)