Channel 9 - Entries tagged with verification corner Microsoft http://mschnlnine.vo.llnwd.net/d1/Dev/App_Themes/C9/images/feedimage.png Channel 9 - Entries tagged with verification corner http://channel9.msdn.com/Tags/verification-corner Channel 9 keeps you up to date with the latest news and behind the scenes info from Microsoft that developers love to keep up with. From LINQ to SilverLight – Watch videos and hear about all the cool technologies coming and the people behind them. http://channel9.msdn.com/Tags/verification-corner en Tue, 21 May 2013 09:26:51 GMT Tue, 21 May 2013 09:26:51 GMT Rev9 3 1 25 The Verification Corner - Loop Termination In this episode of The Verification Corner, Rustan Leino, Principal Researcher in the Research in Software Engineering (RiSE) group at Microsoft Research, shows how to prove loop termination. During his demonstration, Rustan presents the theoretical background information necessary to build the proof before modeling it using the Dafny language.

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.

]]> http://channel9.msdn.com/Blogs/Peli/The-Verification-Corner-Loop-Termination In this episode of The Verification Corner, Rustan Leino, Principal Researcher in the Research in Software Engineering (RiSE) group at Microsoft Research, shows how to prove loop termination. During his demonstration, Rustan presents the theoretical background information necessary to build the proof before modeling it using the Dafny language. Try Dafny in your web browser at http://rise4fun.com/dafny ! 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. 1286 http://channel9.msdn.com/Blogs/Peli/The-Verification-Corner-Loop-Termination Mon, 29 Mar 2010 16:21:00 GMT http://channel9.msdn.com/Blogs/Peli/The-Verification-Corner-Loop-Termination Peli de Halleux Peli de Halleux 5 http://channel9.msdn.com/Blogs/Peli/The-Verification-Corner-Loop-Termination/RSS Microsoft Research RiSE Software Engineering Research Verification verification corner The Verification Corner - Specifications in Action with Spec# In this episode of The Verification Corner, Rustan Leino gives a demonstration of specifications in action. He builds a program that chunks strings into pieces, i.e. a chunker, in Spec#. During the demo, he shows the verifier, the developer, and the specifications fit together in the development cycle. Rustan Leino is a Principal Researcher in the Research in Software Engineering (RiSE) group at Microsoft Research.

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.

]]> http://channel9.msdn.com/Blogs/Peli/The-Verification-Corner-Specifications-in-Action-with-SpecSharp In this episode of The Verification Corner, Rustan Leino gives a demonstration of specifications in action. He builds a program that chunks strings into pieces, i.e. a chunker, in Spec#. During the demo, he shows the verifier, the developer, and the specifications fit together in the development cycle. Rustan Leino is a Principal Researcher in the Research in Software Engineering (RiSE) group at Microsoft Research. Try Spec# in your web browser at http://rise4fun/specsharp! 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. 872 http://channel9.msdn.com/Blogs/Peli/The-Verification-Corner-Specifications-in-Action-with-SpecSharp Mon, 01 Mar 2010 15:44:00 GMT http://channel9.msdn.com/Blogs/Peli/The-Verification-Corner-Specifications-in-Action-with-SpecSharp Peli de Halleux Peli de Halleux 2 http://channel9.msdn.com/Blogs/Peli/The-Verification-Corner-Specifications-in-Action-with-SpecSharp/RSS Microsoft Research RiSE SpecSharp Verification verification corner The Verification Corner: Loop Invariants In this episode of The Verification Corner, Rustan Leino talks about Loop Invariants.  He gives a brief summary of the theoretical foundations and shows how a program can sometimes be systematically constructed from its specifications.  Rustan Leino is a Principal Researcher in the Research in Software Engineering (RiSE) group at Microsoft Research.

The Verification Corner is a show on Software Verification Techniques and Tools. The show is produced by the Research in Software Engineering team (RiSE) coordinates Microsoft's research in Software Engineering in Redmond, USA.

]]> http://channel9.msdn.com/Blogs/Peli/The-Verification-Corner-Loop-Invariants In this episode of The Verification Corner, Rustan Leino talks about Loop Invariants.  He gives a brief summary of the theoretical foundations and shows how a program can sometimes be systematically constructed from its specifications.  Rustan Leino is a Principal Researcher in the Research in Software Engineering (RiSE) group at Microsoft Research. Try Spec# in your web browser at http://rise4fun.com/specsharp! Whiteboard slides [.pdf] [.pptx]  Spec# Demo project [.zip]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) coordinates Microsoft's research in Software Engineering in Redmond, USA. 1305 http://channel9.msdn.com/Blogs/Peli/The-Verification-Corner-Loop-Invariants Tue, 12 Jan 2010 08:03:00 GMT http://channel9.msdn.com/Blogs/Peli/The-Verification-Corner-Loop-Invariants Peli de Halleux Peli de Halleux 12 http://channel9.msdn.com/Blogs/Peli/The-Verification-Corner-Loop-Invariants/RSS Microsoft Research RiSE Software Engineering Research verification corner