Omnibus verification policies: a flexible, configurable approach to assertion-based software verification | IEEE Conference Publication | IEEE Xplore