An Introduction to Formal Methods for the Development of Safety-critical Applications

Publication: ResearchReport – Annual report year: 2010

View graph of relations

This report provides a general introduction to the state-of-the-art of formal methods for the development of safety-critical systems. It defines what is meant by the term "formal methods" and describes what formal methods can be used for. Examples of industrial applications are also given.
Original languageEnglish
Publication date2010
Place of publicationKgs. Lyngby, Denmark
Number of pages32
StatePublished

Bibliographical note

This report is a delivery to The Danish Government's railway authority, Trafikstyrelsen, as a part of the Public Sector Consultancy service offered by the Technical University of Denmark.

Keywords

  • Formal methods
Download as:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word

ID: 4945405