Challenges in the successful transfer of formal methods technology into industrial applications

https://doi.org/10.1016/0950-5849(95)01057-2Get rights and content

Abstract

The primary objective of this article is to discuss a number of challenges (presented in terms of ‘guidelines’) that must be addressed in a pragmatic manner in order to transfer formal methods technology into the actual workplace and to ensure that formal methods are actually used on an industrial scale.

References (23)

  • FuchsNE

    Specifications are (preferably) executable

    IEE/BCS Software Engineering J

    (September 1992)
  • HallA

    Seven myths of formal methods

    IEEE Software

    (September 1990)
  • BowenJP et al.

    Formal methods and safety-critical standards

    IEEE Computer

    (August 1994)
  • BowenJP et al.

    Seven more myths of formal methods

    IEEE Software

    (July 1995)
  • CraigenD et al.

    An international survey of industrial applications of formal methods

  • DixAJ
  • Weber-WulffD

    Selling formal methods to industry

  • LevesonN

    Software safety in embedded computer systems

    Commun. ACM

    (February 1991)
  • BowenJP et al.

    Ten commandments of formal methods

    IEEE Computer

    (April 1995)
  • ParnasDL

    Using mathematical descriptions in the inspection of safety-critical software

  • Cited by (0)

    View full text