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 for this work

Research output: Contribution to journalJournal articleResearchpeer-review

16 Citations (Scopus)

Fingerprint

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

Engineering

Mathematics

Computer Science