A unified approach of program verification

[1] K. R. Apt, E.-R. Olderog, Verification of Sequential and Concurrent Program, Springer-Verlag, 1997. )6710.1007/978-1-4757-2714-2Search in Google Scholar

[2] E. W. Dijkstra, A Discipline of Programming, Prentice-Hall, Englewood Clifis, New York, 1976. )65, 68, 73Search in Google Scholar

[3] Á. Fóthi, Mathematical Approach to Programming, Ann. Univ. Sci. Budapest. Sect. Comput. 9 (1988) 105–114. )65, 68Search in Google Scholar

[4] Á. Fóthi et al, Some concepts of a Relational Model of Programming, Proc. 4th Symposium on Programming Language and Software Tools, Visegrfiad, Hungary, June 8-14, 1995. (ed. Varga L.,) pp. 434–446, )65Search in Google Scholar

[5] Á. Fóthi, Bevezetfies a programozfiashoz, ELTE Eőtvős Kiadó. 2005. (in Hungarian). )65, 68Search in Google Scholar

[6] T. Gregorics, Concept of abstract program, Acta Universitatis Sapientiae, In- formatica, 4, 1 (2012) 7–16. )68, 69Search in Google Scholar

[7] D. Gries, S. Owicki, An axiomatic proof technique for parallel programs, Acta Inf., 6, 4 (1976) 319–340. )65, 7310.1007/BF00268134Search in Google Scholar

[8] D. Gries, The Science of Programming, Springer, Berlin, 1981. )65, 67, 7310.1007/978-1-4612-5983-1Search in Google Scholar

[9] C. A. Hoare, An axiomatic basis for computer programming, Comm. of the ACM 12, 10 (1969) 576–580. )65, 67, 7310.1145/363235.363259Search in Google Scholar

[10] Z. Manna, Mathematical theory of computation, McGraw Hill, 1974. )67Search in Google Scholar

[11] W.-P. de Roever et al, Concurrency Verification, Cambridge University Press, 2001. )67Search in Google Scholar