在验证过程中Ceagle没有响应怎么办？

待验证的程序或属性过于复杂的情形，某些验证策略下Ceagle可能会需要极长的时间计算验证结果。如果Ceagle没有响应，可以结束Ceagle进程并改变验证策略重新尝试。

遇到UNKNOWN的验证结果我该怎么办？

导致UNKNOWN结果的原因通常包括未知的外部函数调用、循环或递归的程序结构、程序计算过程过于复杂以至于超过约束求解器求解能力等。请尝试改变验证策略重新验证，或使用插桩等方法修改程序再进行验证。