Robust Software Engineering (RSE) researchers Dimitra Giannakopoulou, Peter Mehlitz, Corina Pasareanu, Neha Rungta, and Oksana Tkachuk gave a series of lectures at the 2nd International Summer School on Formal Techniques held May 27–June 1, 2012, at Menlo College in Atherton, CA. The lecture series course was titled “Verifying Components in the Right Context,” and it addressed the challenging problem of building component environments to enable efficient yet precise software component analysis. The presented techniques were illustrated within RSE’s Open Source Java PathFinder verification tool.
BACKGROUND: This lecture course, the second in a series, focuses on the principles and practice of formal verification, with a strong emphasis on hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in using verification technology in their own research in computing, as well as in engineering, biology, and mathematics. Menlo College has support from SRI International and the National Science Foundation (NSF). Lecturers are selected from the top researchers in the formal methods community; RSE researchers also participated last year. More information on Menlo College can be found at: http://fm.csl.sri.com/SSFT12/.
Contact: Corina Pasareanu