帶有異或運算安全協議的自動化檢測，楊元原，馬文平，針對當前模型檢測工具普遍不能檢測帶有異或運算安全協議的問題，提出了一個新的模型檢測器SAT#。該模型檢測器通過引入抽象異或項?