Experience report: Formal verification and testing in the development of embedded software.

Andreas Ulrich, Anjelika Votintseva

Browse the full ISSRE paper archive.