首页> 外文OA文献 >Modular Verification of Concurrent Assembly Code with Dynamic Thread Creation and Termination

【2h】

Modular Verification of Concurrent Assembly Code with Dynamic Thread Creation and Termination

机译：动态线程创建和终止的并行汇编代码的模块化验证

页面导航

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

著录项

作者
Xinyu Feng; Zhong Shao;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Modular verification of concurrent assembly code with dynamic thread creation and termination [J] . Feng XY, Shao Z ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2005,第9期

机译：动态创建和终止并发汇编代码的模块化验证
2. Modular Termination Verification of Single-Threaded and Multithreaded Programs [J] . Jacobs Bart, Bosnacki Dragan, Kuiper Ruurd 情報処理学会論文誌 . 2018,第3期

机译：单线程和多线程程序的模块化终止验证
3. Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation) [J] . Chaki Sagar, Gurfinkel Arie, Strichman Ofer Formal Methods in System Design . 2015,第3期

机译：多线程程序的回归验证（具有锁的扩展和动态线程的创建）
4. Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models [C] . Dragan Bosnacki, Mark van den Brand, Joost Gabriels, International Symposium on Formal Aspects of Component Software . 2016

机译：朝着从DSL模型生成的线程并发可执行代码的模块验证
5. An Attempted Proof with Modular ACL2: Soundness of the Racket Bytecode Verifier. [D] . Zhang, Yue. 2011

机译：模块化ACL2的尝试证明：球拍字节码验证程序的健全性。
6. A Single‐Stranded DNA‐Encoded Chemical Library Based on a Stereoisomeric Scaffold Enables Ligand Discovery by Modular Assembly of Building Blocks [O] . Gabriele Bassi, Nicholas Favalli, Miriam Vuk, 2020

机译：基于立体异构脚手架的单链DNA编码的化学文库使配体发现能够通过模块化组装的构建块
7. Towards modular verification of threaded concurrent executable code generated from DSL models [O] . Bosnacki Dragan, van den Brand Mark, Gabriels Joost, 2016

机译：对从DSL模型生成的线程化并发可执行代码进行模块化验证

Modular Verification of Concurrent Assembly Code with Dynamic Thread Creation and Termination

著录项

引文网络

相似文献

相关主题

期刊订阅