Formal property verification in a conformance testing framework.

Houssam Abbas, Hans D. Mittelmann, Georgios Fainekos

Browse the full MEMOCODE paper archive.