Remember me

Register

 
Control & Automation overview
Technical articles
Industry news
Events & training
Magazine section
 
BAE Q2 08 V

Correctness by Construction: A Manifesto for High-Integrity Engineering

by Dr Rod Chapman

Introduction

  • The Challenge of Software Defects
  • Some Motivation
  • Principles of Correctness by Construction

  
You must be logged in to access a PDF of this article.
Username
Password
or Register a username

About the author(s)

Praxis High Integrity Systems