...
机译:循环依赖关系的大多数自动化形式验证,以及在分布式模板算法中的应用
ENS Lyon, Lyon, France;
MIT, CSAIL, 77 Massachusetts Ave, Cambridge, MA 02139 USA;
Formal software verification; Automated software verification; Stencil algorithm; Distributed stencil algorithms; Loop dependencies;
机译:减少和抽象进行分布式圆形算法正式验证
机译:分布式算法的形式验证方法:系统文献综述
机译:系统级状态相等性检测,用于对遗留的分布式应用程序进行正式的动态验证
机译:循环依赖关系的大多数形式化自动验证及其在分布式模板算法中的应用
机译:布尔量化技术及其在形式验证中的应用:算法和分析。
机译:常春藤:用于分布式算法的多模态验证工具
机译:分布式算法的形式验证
机译:对安全分布式系统的形式化验证及其应用。