Composing And Refining
Stc
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.