抽象精化（Abstraction and Refinement）是一种缩減状态空间的技术。当目标程序的状态空间太大，使得Ceagle的DFS引擎搜索时间过长时，可以考虑采用抽象精化技术对状态空间进行削减，以达到提高验证效率的目的。

要注意的是，使用抽象精化技术并不能保证整体验证时间减少，这是由于状态空间削减的过程同样需要花费一定的时间。