Author:
Chaki S.,Clarke E.,Groce A.,Ouaknine J.,Strichman O.,Yorav K.
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. OpenSHMEM Checker - A Clang Based Static Checker for OpenSHMEM;2021 20th International Symposium on Parallel and Distributed Computing (ISPDC);2021-07-28
2. Symbolic verification of message passing interface programs;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering;2020-06-27
3. Developing and Verifying Response Specifications in Hierarchical Event-Based Systems;Lecture Notes in Computer Science;2016
4. A tool-supported approach for modular design of energy-aware software;Proceedings of the 29th Annual ACM Symposium on Applied Computing;2014-03-24
5. Causal Termination of Multi-threaded Programs;Computer Aided Verification;2014