Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification.

Thomas Wilson, Savi Maharaj, Robert G. Clark

Browse the full SEFM paper archive.