Korrektheit: Difference between revisions
From Alda
Jump to navigationJump to search
(New page: 24.April Ergänzend zum Beispiel der Hoare-Logic, die benutzt wurde um praxisorientiert mitn der formale Methoden zu arbeiten, ein kurzer Verweis auf die benutzte Quelle : " An Axiomatic ...) |
No edit summary |
||
Line 1: | Line 1: | ||
24.April | 24.April ( erst nur ein formales Skelett, Feinarbeit folgt noch) | ||
Ergänzend zum Beispiel der Hoare-Logic, die benutzt wurde um praxisorientiert mitn der formale Methoden zu arbeiten, ein kurzer Verweis auf die benutzte Quelle : " An Axiomatic Basis for Computer Programming" , C.A.R. Hoave; Comm ACM 1969[http://www.cs.ucsb.edu/~kemm/courses/cs266/hoare69.pdf] | Ergänzend zum Beispiel der Hoare-Logic, die benutzt wurde um praxisorientiert mitn der formale Methoden zu arbeiten, ein kurzer Verweis auf die benutzte Quelle : " An Axiomatic Basis for Computer Programming" , C.A.R. Hoave; Comm ACM 1969[http://www.cs.ucsb.edu/~kemm/courses/cs266/hoare69.pdf] |
Revision as of 10:25, 25 April 2008
24.April ( erst nur ein formales Skelett, Feinarbeit folgt noch)
Ergänzend zum Beispiel der Hoare-Logic, die benutzt wurde um praxisorientiert mitn der formale Methoden zu arbeiten, ein kurzer Verweis auf die benutzte Quelle : " An Axiomatic Basis for Computer Programming" , C.A.R. Hoave; Comm ACM 1969[1]