Ceagle后台采用了一个验证引擎:

  • DFS引擎