Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency
暂无分享,去创建一个
[1] Cliff B. Jones,et al. Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.
[2] Didier Bert. B’98: Recent Advances in the Development and Use of the B Method , 1998, Lecture Notes in Computer Science.
[3] Carroll Morgan,et al. Programming from specifications (2nd ed.) , 1994 .
[4] Paul Benoit,et al. Météor: A Successful Application of B in a Large Project , 1999, World Congress on Formal Methods.
[5] Robert W. Floyd,et al. Assigning meaning to programs , 1967 .
[6] David Lorge Parnas,et al. A technique for software module specification with examples , 1972, CACM.
[7] Ken A. Robinson. Introduction to the B Method , 1999 .
[8] Edsger W. Dijkstra,et al. A Discipline of Programming , 1976 .
[9] Marie-Laure Potet,et al. Composition and Refinement in the B-Method , 1998, B.
[10] Kaisa Sere,et al. Program Development by Refinement: Case Studies Using The B Method , 1998 .
[11] David Gries,et al. The Science of Programming , 1981, Text and Monographs in Computer Science.
[12] Roland Carl Backhouse,et al. Program construction and verification , 1986, PHI Series in computer science.
[13] Jean-Raymond Abrial,et al. The B-book - assigning programs to meanings , 1996 .
[14] C. A. R. Hoare,et al. Data Refinement Refined , 1986, ESOP.