Formal methods in industry: achievements, problems, future

Abstract

Two real projects using the B formal method are quickly presented. They show how some important parts of complex systems can be developed in such a way that the outcome is "correct by construction". A number of factors are then analyzed relating the pros, the cons, and the difficulties in applying this approach in Industry.

BibTeX

@inproceedings{Abrial:ICSE06,
  author    = {Jean{-}Raymond Abrial},
  title     = {Formal methods in industry: achievements, problems, future},
  booktitle = {ICSE},
  pages     = {761--768},
  publisher = {{ACM}},
  year      = {2006},
}

Formal methods in industry: achievements, problems, future

Abstract

Related papers