位置：成果数据库 > 期刊 > 期刊详情页
Formal Verification of Concurrent Programs with Read-Write Locks
  • 时间：0
  • 相关项目：高可信软件中的形式程序验证
同期刊论文项目
高可信软件中的形式程序验证
期刊论文 22 会议论文 3
同项目期刊论文
一种用于指针程序验证的指针逻辑
Certifying assembly programs with trails
Certification of Thread Context Switching
Formal reasoning about lazy-STM programs
处理指针相等关系不确定的指针逻辑
一种动态共享数据结构的并发访问控制分析方法
一种含共享变量维持声明的并行程序语言
出具证明编译器中代码优化与程序规范转换
一种面向动态链状数据结构的指针定值引用链算法
出具证明编译器中线性整数命题证明的自动生成
编译时对象回收中的Java库分析研究
一种链状数据结构细粒度自动加锁方法