Combining Syntactic and Semantic Encoding for LTL Bounded Model Checking.

Wanwei Liu, Xiaoguang Mao, Geguang Pu, Rui Wang

Browse the full TASE paper archive.