First Page | Document Content | |
---|---|---|
Date: 2013-09-23 13:44:35Formal methods Monitor Hoare logic Invariant Loop invariant Flag semaphore Variable ALGOL 68 Predicate transformer semantics | 1 Introduction One of the most influential papers of Computer Science to appear during the late 1960’s undoubtedly was Tony’s “An Axiomatic Basis for Computer Programming” [1], introducing a special purpose logiAdd to Reading ListSource URL: www.olejohandahl.infoDownload Document from Source WebsiteFile Size: 122,33 KBShare Document on Facebook |