5.8 SAT/SMT

• 参考资料

参考资料

• Quick introduction into SAT/SMT solvers and symbolic execution

• Practical Symbolic Execution and SATisfiability Module Theories (SMT) 101