Automated Verification of Chapel Programs Using Model Checking and Symbolic Execution-Reference-Cited by-同舟云学术

Automated Verification of Chapel Programs Using Model Checking and Symbolic Execution

Published:2013 Issue: Volume: Page:198-212
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Zirkel Timothy K.,Siegel Stephen F.,McClory Timothy

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-38088-4_14

Reference18 articles.

1. Allen, E., Chase, D., Hallett, J., Luchangco, V., Maessen, J.W., Ryu, S., Steele Jr., G.L., Tobin-Hochstadt, S.: The Fortress language specification, version 1.0 (March 2008), http://labs.oracle.com/projects/plrg/Publications/fortress.1.0.pdf

2. Lecture Notes in Computer Science;C. Barrett,2007

3. Charles, P., Grothoff, C., Saraswat, V., Donawa, C., Kielstra, A., Ebcioglu, K., von Praun, C., Sarkar, V.: X10: an object-oriented approach to non-uniform cluster computing. In: Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, pp. 519–538. ACM, New York (2005)

4. Clarke, L.A.: A system to generate test data and symbolically execute programs. IEEE Trans. Softw. Eng. 2, 215–222 (1976)

5. Cray, Inc.: The Chapel parallel programming language (2012), http://chapel.cray.com/

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Model-checking task-parallel programs for data-race;Innovations in Systems and Software Engineering;2019-05-18

2. Model-Checking Task Parallel Programs for Data-Race;Lecture Notes in Computer Science;2018

3. Computational Conversion via Translation Rules for Transforming C++ Code Into UPPAAL’s Automata;IEEE Access;2017

4. CIVL;Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis;2015-11-15

5. Verification of Habanero Java Programs using Computation Graphs;ACM SIGSOFT Software Engineering Notes;2015-11-11