Static verification of worm and virus behavior in binary executables using model checking | IEEE Conference Publication | IEEE Xplore