|
|
CA648 - Formal Programming
Links
Links
General Formal Methods
Event-B
Classical B-Method
Relevant Papers
- A. Hall, "Seven Myths of Formal Methods", IEEE Software 7(5):11-19, September 1990
- J. Bowen and M. Hinchey, "Seven More Myths of Formal Methods", IEEE Software 12(4):34-41, July 1995
- J. Bowen and M. Hinchey, "Ten Commandments of Formal Methods", IEEE Computer 28(4):56-63, April 1995
- C.A.R. Hoare, "The Verifying Compiler: A Grand Challenge for Computing Research", ACM Journal 50(1):63-69, January 2003
- J.M. Wing, "A Specifier's Introduction to Formal Methods", IEEE Computer, 23(9):10-22, September 1990
- E.M. Clarke and J.M. Wing, "Formal Methods: State of the Art and Future Directions", ACM Computing Surveys, 28(4):626-643, December 1996
- R.W. Floyd, "Assigning Meaning to Programs", Mathematical Aspects of Computer Science, 19-32, 1967
- C.A.R. Hoare, "An Axiomatic Basis for Computer Programming", Communications of the ACM, 12:576–580, 1969
- E.W. Dijkstra, "Guarded Commands, Nondeterminacy and Formal Derivation of Programs", Communications of the ACM, 18:453–457, 1975
- R.J.R. Back, "A Calculus of Refinements for Program Derivations"Acta Informatica, 25:593-624, 1988
- C.C. Morgan, "The Specification Statement"ACM Transactions on Programming Languages and Systems, 10(3), 1988
|
|
