Visible to the public CPS: The Third Working Conference on Verified Software

Submitted by Natarajan Shankar on Thu, 04/07/2011 - 6:24pm
Project Details
Lead PI:Natarajan Shankar
Performance Period:09/01/10 - 08/31/13
Institution(s):SRI International
Sponsor(s):National Science Foundation
Award Number:1033105
1555 Reads. Placed 194 out of 804 NSF CPS Projects based on total reads on all related artifacts.
Abstract: This award supports the Third IFIP Working Conference on "Verified Software: Theories, Tools, and Experiments (VSTTE 2010)", August 16-19, 2010, hosted by Heriot-Watt University, Edinburgh Scotland. The construction of reliable software poses one of the most significant scientific and engineering challenges of the 21st century. Professor Tony Hoare of Microsoft Research has proposed the creation of a program verifier as a grand challenge for computer science and outlined an international program of research combining many disciplines such as the theory and implementation of programming languages, formal methods, program analysis, and automated theorem proving. The VSTTE conference series was established by the research community in response to this challenge. The VSTTE 2010 program includes two workshops focusing on the areas of: (1) theories, and (2) tools and experiments. This award is enabled through support provided by the NITRD High Confidence Software and Systems (HCSS) interagency Coordinating Group.