Improving software model checking on program backbone within distributed system | IEEE Conference Publication | IEEE Xplore