SMTInterpol, Yices, Z3, VeriT, ...) □ Yices 1.0 (2006). □ The first efficient “general-purpose” SMT solver. □ Z3 1.0 (2008). □ > 3000 citations, most ...
確定! 回上一頁