Formal Verification of a Reader-Writer Lock Implementation in C

机译：C语言中的读写器锁实现的形式验证

代理获取

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

页面导航

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

著录项

作者
Hillebrand Mark A.; Leinenbach Dirk C.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Formal Design, Implementation and Verification of Blockchain Languages Using K (Invited Talk) [J] . Grigore Rosu OASIcs : OpenAccess Series in Informatics . 2020,第2期

机译：使用k（邀请的谈话）块语言的正式设计，实施和验证
2. Formal Design, Implementation and Verification of Blockchain Languages (Invited Talk) [J] . Grigore Rosu LIPIcs : Leibniz International Proceedings in Informatics . 2018,第23期

机译：区块链语言的正式设计，实现和验证（特邀演讲）
3. Formal Design, Implementation and Verification of Blockchain Languages (Invited Talk) [J] . Grigore Rosu LIPIcs : Leibniz International Proceedings in Informatics . 2018,第28期

机译：区块链语言的正式设计，实现和验证（特邀演讲）
4. Formal Design, Implementation and Verification of Blockchain Languages [C] . Conference on Formal Methods in Computer Aided Design . 2018

机译：区块链语言的形式化设计，实现和验证
5. Integration of Dynamic Power Management Strategies for System-Level Power Optimization (Low-Power Design) with Its Formal Verification and Implementation. [D] . Ramanbhai, Bhatt Kiritkumar. 2012

机译：用于系统级电源优化（低功耗设计）的动态电源管理策略及其形式验证和实现的集成。
6. Formal Verification of Control Modules in Cyber-Physical Systems [O] . Iwona Grobelna 2020

机译：网络物理系统中控制模块的正式验证
7. NUMA-Aware Reader-Writer Locks [O] . Irina Calciu, Victor Luchangco, Dave Dice, 2013

机译：NUma-aware读写器锁
8. Scalable Reader-Writer Locks for Parallel Systems [R] . Hsieh, W. C., Weihl, W. E. 1991

机译：可扩展的并行系统读写器锁

Formal Verification of a Reader-Writer Lock Implementation in C

著录项

引文网络

相似文献

相关主题

期刊订阅