组合验证（Compositional Verification）也是一种解决目标程序状态空间爆炸问题的技术。组合验证技术基于分治思想，将大型目标程序及待验证属性划分为若干子模块以及各个子模块上对应的待验证属性，对各子模快分别进行验证，最后将各子模块的验证结果综合得到原目标程序的验证结果。上述过程由Ceagle后台自动完成。