You are here:
(02 Sep 2010,
ComputingScienceColloquium Date: May 22, 2003 Time: 11am Room: GROOT AARD Speaker: Wishnu Prasetya Title: Composing and Refining Abstract Modularity and step wise improvement are well known programming concepts. They are also useful in program verification, perhaps even more than in programming, because formal proofs are often large, expensive, and very sensitive to changes. The talk will give an overview on how these two concepts are deployed as formal techniques to support program verification.
ore topic actions
Topic revision: r2 - 02 Sep 2010,
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding UUCS?