Verifying a Stack with Hazard Pointers in Temporal Logic

机译：在时间逻辑中验证一堆危险指针

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Tofan Bogdan; Schellhorn Gerhard; Reif Wolfgang (Prof. Dr.);
展开▼
作者单位

展开▼
年度 2011
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Completeness and expressiveness of pointer program verification by separation logic [J] . Tatsuta Makoto, Chin Wei-Ngan, Al Ameen Mahmudul Faisal Information and computation . 2019,第AUGa期

机译：分离逻辑验证指针程序的完整性和表达性
2. Completeness and expressiveness of pointer program verification by separation logic [J] . Tatsuta Makoto, Chin Wei-Ngan, Al Ameen Mahmudul Faisal Information and computation . 2019,第Auga期

机译：通过分离逻辑的指针程序验证的完整性和表现力
3. Automatic verification of pointer programs using monadic second-order logic [J] . Jakob L. Jensen, Michael E. Jorgensen, Nils Klarlund, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 1997,第5期

机译：使用Monadic二阶逻辑自动验证指针程序
4. Formal Verification of a Lock-Free Stack with Hazard Pointers [C] . Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif Theoretical aspects of computing - ICTAC 2011 . 2011

机译：带有危险指针的无锁堆栈的形式验证
5. Spatio-Temporal Logics for Verification and Control of Networked Systems [D] . Haghighi, Iman. 2019

机译：用于验证和控制网络系统的时空逻辑
6. Oxide Thin-Film Transistor-Based Vertically Stacked Complementary Inverter for Logic and Photo-Sensor Operations [O] . Hyo-Jun Joo, Min-Gyu Shin, Hwan-Seok Jung, 2019

机译：基于氧化物薄膜晶体管的垂直堆叠互补逆变器用于逻辑和光电传感器操作
7. Scope Logic: Extending Hoare Logic for Pointer Program Verification [O] . Zhao, Jianhua, Li, Xuandong 2009

机译：范围逻辑：扩展指针程序验证的Hoare逻辑
8. Verifying Temporal Properties without Using Temporal Logic [R] . Alpern, B., Schneider, F. B. 1985

机译：不使用时态逻辑验证时态属性

Verifying a Stack with Hazard Pointers in Temporal Logic

著录项

引文网络

相似文献

相关主题

期刊订阅