Block-wise abstract interpretation by combining abstract domains with SMT Jiahong Jiang1 , Liqian Chen1 , Xueguang Wu1 , and Ji Wang1,2 1 School of Computer Science, National University of Defense Technology, China - National University of Science and Technology - Document - PDFSEARCH.IO

First Page	Meta Content
	Block-wise abstract interpretation by combining abstract domains with SMT Jiahong Jiang1 , Liqian Chen1 , Xueguang Wu1 , and Ji Wang1,2 1 School of Computer Science, National University of Defense Technology, China Add to Reading List Document Date: 2018-08-14 11:59:25 Open Document File Size: 723,00 KB Share Result on Facebook

Block-wise abstract interpretation by combining abstract domains with SMT Jiahong Jiang1 , Liqian Chen1 , Xueguang Wu1 , and Ji Wang1,2 1 School of Computer Science, National University of Defense Technology, ChinaAdd to Reading List