Electronic Systems Design Seminar
Property checking provides a way to partially validate software. In this approach, the user provides a set of properties that the code should satisfy, and tools are provided to check if the code satisfies these properties. Recently, there has been a confluence of ideas from Model Checking, Program Analysis and Theorem Proving to build such checking tools.
In this talk, we will outline the roles played by each of these techniques using experiences from two projects at Microsoft Research:
I am a researcher with Microsoft Research. I currently work on tools and techniques for building reliable software. I joined Microsoft Research in 1999. I am an alumnus of the CAD group at Berkeley (where I completed a PhD thesis titled: “New directions in refinement checking”). Before becoming a researcher, I worked in product groups and shipped products (for over 5 years) with Xilinx Inc, San Jose, CA and Syntek Systems Inc, Bethesda, MD. Someday, I plan to write a bio without using parentheses.
|©2002-2018 U.C. Regents|