Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems.

Vlad Rusu, Herv Marchand, Thierry Jron

Browse the full FM paper archive.