Ready for testing: ensuring conformance to industrial standards through formal verification

Sergio Feo-Arenis*, Bernd Westphal, Daniel Dietsch, Marco Muñiz, Siyar Andisha, Andreas Podelski

*Corresponding author

Research output: Contribution to journalJournal articleResearchpeer-review

11 Citations (Scopus)
Original languageEnglish
JournalFormal Aspects of Computing
Volume28
Issue number3
Pages (from-to)499-527
Number of pages29
ISSN0934-5043
DOIs
Publication statusPublished - 2016

Keywords

  • Certification tests
  • Dependability
  • Model Checking
  • Safety-critical systems
  • SME
  • Verification

Fingerprint Dive into the research topics of 'Ready for testing: ensuring conformance to industrial standards through formal verification'. Together they form a unique fingerprint.

Cite this