Home
Schedule
Abstract Template
Masters Attendance
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
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.
