Formal verification techniques: industrial status and perspectives | IEEE Conference Publication | IEEE Xplore