结果1至7，共7
排序依据：

  • C-肖尔
  • 引用5篇文章[sw13319]
  • 等表达自动机可折叠的 下推 系统（CPD）。在它的核心。。。

  • 荷马
  • 引用5篇文章[sw13321]
  • 荷马：一个高阶观测等效模型检验器。。。

  • GTRECS2
  • 1条引用[sw13322]
  • GTRECS2:一个基于递归模式的模型检查器。。。

  • github
  • 在1595篇文章中引用[sw23170]
  • GitHub（原名Logical Awesome LLC）[3。。。