Vergo：GOLOG程序验证系统 Vergo是高级代理程序控制语言GOLOG的（另一个）实现，它专门设计为各种用于程序时间验证的算法的测试平台。 该存储库是代码的集合，其开发是在博士论文准备期间开始的 延斯·克拉森（JensClaßen）： 使用动作语言GOLOG进行计划和验证。 亚琛工业大学计算机科学系博士学位论文，2013年。[] 在（DFG）资助的研究单元内的 “验证非终止动作程序”项目中继续进行。 ， 或等其他GOLOG实现使用Prolog的评估机制进行推理，而Vergo依靠嵌入