spacer

Industrial deployment of system engineering methods providing high dependability and productivity

 
  • Repository Home
  • About
  • Browse by Year
  • Browse by Subject
  • Browse by Type
Login | Create Account

Formal Methods: Practice and Experience

Woodcock, Jim and Larsen, Peter Gorm and Bicarregui, Juan and Fitzgerald, John S. (2009) Formal Methods: Practice and Experience. ACM Computing Surveys, 41 (4). pp. 1-36.

spacer
spacer
Preview
PDF - Submitted Version
1536Kb

Abstract

Formal methods use mathematical models for analysis and verification at any part of the program life-cycle. We describe the state of the art in the industrial use of formal methods, concentrating on their increasing use at the earlier stages of specification and design. We do this by reporting on a new survey of industrial use, comparing the situation in 2009 with the most significant surveys carried out over the last 20 years. We describe some of the highlights of our survey by presenting a series of industrial projects, and we draw some observations from these surveys and records of experience. Based on this, we discuss the issues surrounding the industrial adoption of formal methods. Finally, we look to the future and describe the development of a Verified Software Repository, part of the worldwide Verified Software Initiative. We introduce the initial projects being used to populate the repository, and describe the challenges they address.

Item Type:Article
Subjects:Tool developments
Methodology
Industrial Deployment
Training
ID Code:161
Deposited By:Dr John S Fitzgerald
Deposited On:25 Oct 2009 17:48
Last Modified:19 Apr 2010 16:05

Repository Staff Only: item control page



spacer
Deploy Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.

Deploy-Project - All right reserved

gipoco.com is neither affiliated with the authors of this page nor responsible for its contents. This is a safe-cache copy of the original web site.