参数化验证中的可决定性

引用人

查看全部

• 瓦格纳C贾伯N萨曼塔R(2023)通过有界区域实现基于双边界分布式协议的系统的有界验证美国计算机学会程序设计语言会议录10.1145/35860337：OOPSLA1(172-200)在线发布日期：2023年4月6日
  https://dl.acm.org/doi/10.1145/3586033
• Pittou M公司拉霍尼斯G(2023)参数化构件系统体系结构中的不确定性建模国际计算机科学基础杂志10.1142/S01290541234502834:06(559-601)在线发布日期：2023年5月22日
  https://doi.org/10.1142/S012905412350028
• 阿卜杜拉·P阿提格·M富巴赫F戈德博尔A亨迪Y克里希纳S斯宾格勒S(2023)具有数据类型的TSO下的参数化验证系统构建和分析的工具和算法10.1007/978-3-031-30823-9_30(588-606)在线发布日期：2023年4月22日
  https://dl.acm.org/doi/10.1007/978-3-031-30823-9_30
• 显示更多引用者

索引术语

1. 参数化验证中的可决定性

   1. 软件及其工程

      1. 软件组织和属性

         1. 软件功能属性

            1. 形式化方法

               1. 模型检查

   2. 计算理论

      1. 逻辑

      2. 计算模型

索引项已通过自动分类分配给内容。

建议

• 异步共享内存系统的参数化验证

  我们描述了参数化系统的安全验证问题的复杂性，该系统由一个领导过程和任意多个匿名且相同的参与者组成。进程通过共享的有界值寄存器进行通信。虽然。。。

  阅读更多信息

• 参数化验证的可决定性

  阅读更多信息

• 事务性存储器的参数化验证

  2010年PLDI

  我们描述了一种自动验证方法，用于检查事务性内存是否确保严格的序列化性，这是事务性接口假定的关键属性。我们的主要贡献是一种有效验证参数化。。。

  阅读更多信息

评论