Using context descriptions and property definition patterns for software formal verification | IEEE Conference Publication | IEEE Xplore