Using 3-valued memory representation for state space reduction in embedded assembly code model checking | IEEE Conference Publication | IEEE Xplore