Comment Feed for Channel 9 - The Verification Corner - Stepwise Refinement http://ecn.channel9.msdn.com/o9/ch9/7468/c217b144-6a4c-4f25-9090-9e0601577468/stewiserefinement_100_ch9.jpg Channel 9 - The Verification Corner - Stepwise Refinement In this episode of The Verification Corner, Kuat Yessenov and Rustan Leino, Principal Researcher in the Research in Software Engineering (RiSE) group at Microsoft Research,  show how a program can be constructed by stepwise refinement.  First, a high-level description of the program is given.  Then, some more detailed pseudo-code is developed.  Finally, an efficient data-structure representation is chosen and the corresponding changes to the program are written. There are several potential advantages of this approach.  One is that it lets the programmer design the program in finer and finer levels of granularity, rather than having to write all the fine details into the program text at once.  At each level, the verification tool kicks in and checks the correctness, thus proving feedback to the programmer.  A second advantage is that the more abstract descriptions of the program stay around, in a machine readable form that makes sure they stay up-to-date.  This means a new programmer on the project can start reading the more abstract versions in order to understand the program. Find past and future episodes of the The Verification Corner! The Verification Corner is a show on Software Verification Techniques and Tools. The show is produced by the Research in Software Engineering team (RiSE), which coordinates Microsoft's research in Software Engineering in Redmond, USA. en Sat, 25 May 2013 09:03:14 GMT Sat, 25 May 2013 09:03:14 GMT Rev9 Re: The Verification Corner - Stepwise Refinement Zooming into the editor window, those fonts look amazing.

posted by intelman

]]> http://channel9.msdn.com/Blogs/Peli/The-Verification-Corner-Stepwise-Refinement#c634221650540000000 Fri, 08 Oct 2010 20:04:14 GMT http://channel9.msdn.com/Blogs/Peli/The-Verification-Corner-Stepwise-Refinement#c634221650540000000 intelman Re: The Verification Corner - Stepwise Refinement Very great work!

Now, just get the first step to compile while making the successive steps necessary only when justified by performance needs. I'll bet very few refinements will be needed in practice even for real time programming (assuming you have a reasonable GC algorithm unlike on the .Net Compact Framework for the Xbox 360).

posted by bryanedds

]]> http://channel9.msdn.com/Blogs/Peli/The-Verification-Corner-Stepwise-Refinement#c634221746800000000 Fri, 08 Oct 2010 22:44:40 GMT http://channel9.msdn.com/Blogs/Peli/The-Verification-Corner-Stepwise-Refinement#c634221746800000000 bryanedds Re: The Verification Corner - Stepwise Refinement Canvas Paintings

posted by Ryan

]]> http://channel9.msdn.com/Blogs/Peli/The-Verification-Corner-Stepwise-Refinement#c634224078660000000 Mon, 11 Oct 2010 15:31:06 GMT http://channel9.msdn.com/Blogs/Peli/The-Verification-Corner-Stepwise-Refinement#c634224078660000000 Ryan