Corpus ID: 14066854

Introducing Formal Methods into Industry using Cleanroom and CSP

@inproceedings{Broadfoot2005IntroducingFM,
  title={Introducing Formal Methods into Industry using Cleanroom and CSP},
  author={G. Broadfoot},
  year={2005}
}
  • G. Broadfoot
  • Published 2005
  • Engineering
  • In this paper, we present an overview of our observations and experiences of applying formal methods in an industrial setting and incorporating them into a practical software development process. This work has developed from an ongoing collaboration between the two authors coming from opposite ends of the spectrum and sharing a mutual interest in bridging the gap between academic research in formal methods and their current lack of use in the software industry. We explore a number of… CONTINUE READING

    Figures from this paper.

    Experiences with incorporating formal techniques into industrial practice
    • 5
    Improving Software Development
    • 4
    • PDF
    Software Specification Refinement and Verification Method with I-Mathic Studio
    • 2
    • Highly Influenced
    Towards Configurable Integrated Project Support Environment

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 25 REFERENCES
    The Theory and Practice of Concurrency
    • 1,979
    • PDF
    The Model Checker SPIN
    • 4,103
    • PDF
    The B-book - assigning programs to meanings
    • 2,798
    The Z notation - a reference manual
    • 3,901
    • PDF
    Foundations of Sequence-Based Software Specification
    • 101
    Cleanroom Software Engineering
    • 471
    • PDF