SMTS

SMTS:分布式、可视化的约束求解。并行计算固有的复杂性使得基于并行约束求解的应用程序的开发、资源监控和调试变得困难。本文提出了一个并行化顺序约束求解算法并在分布式计算环境中运行的框架。该设计(i)基于一种通用的并行化技术,该技术支持递归地组合算法组合并通过交换学习到的信息来分而治之,(ii)通过可视化检查并行执行步骤来提供监视,以及(iii)支持通过web界面对算法进行交互式指导。我们报告了在实例化一个SMT解算器和一个IC3解算器的框架、调试并行执行、可视化SMT实例的求解、结构和学习子句方面的积极经验。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换