Author:
Siegel Stephen F.,Avrunin George S.
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Bollig, B., Leucker, M.: Modelling, specifying, and verifying message passing systems. In: Bettini, C., Montanari, A. (eds.) Proceedings of the Symposium on Temporal Representation and Reasoning (TIME 2001), pp. 240–248. IEEE Computer Society Press, Los Alamitos (2001)
2. Lecture Notes in Computer Science;E. Cohen,1998
3. Corbett, J.C., Avrunin, G.S.: Using integer programming to verify general safety and liveness properties. Formal Methods in System Design 6, 97–123 (1995)
4. Flanagan, C., Qadeer, S.: A type and effect system for atomicity. In: Cytron, R., Gupta, R. (eds.) Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, San Diego, pp. 338–349. ACM Press, New York (2003)
5. Georgelin, P., Pierre, L., Nguyen, T.: A formal specification of the MPI primitives and communication mechanisms. Technical Report 1999-337, LIM (1999)
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. MPI-CorrBench;Proceedings of the 30th International Symposium on High-Performance Parallel and Distributed Computing;2021-06-21
2. Compositional Verification of Smart Contracts Through Communication Abstraction;Static Analysis;2021
3. Parameterized Compositional Model Checking;Tools and Algorithms for the Construction and Analysis of Systems;2016
4. Calculation coverage testing in scientific applications;Proceedings of the 2015 International Symposium on Software Testing and Analysis;2015-07-13
5. Achieving Formal Parallel Program Debugging by Incentivizing CS/HPC Collaborative Tool Development;Proceedings of the 1st Workshop on The Science of Cyberinfrastructure: Research, Experience, Applications and Models;2015-06-16