Author:
Botbol Vincent,Chailloux Emmanuel,Le Gall Tristan
Publisher
Springer International Publishing
Reference17 articles.
1. Lecture Notes in Computer Science;PA Abdulla,2004
2. Botbol, V., Chailloux, E., Le Gall, T.: Static analysis of communicating processes using symbolic transducers (extended version). arXiv:abs/1611.07812 (2016)
3. Lecture Notes in Computer Science;A Bouajjani,2004
4. Lecture Notes in Computer Science;F Bourdoncle,1993
5. Carre, J.-L., Hymans, C.: From Single-thread to Multithreaded: An Efficient Static Analysis Algorithm. arXiv:abs/0910.5833 (2009)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Partial Order View of Message-Passing Communication Models;Proceedings of the ACM on Programming Languages;2023-01-09
2. Clustered Relational Thread-Modular Abstract Interpretation with Local Traces;Programming Languages and Systems;2023
3. A Type Discipline for Message Passing Parallel Programs;ACM Transactions on Programming Languages and Systems;2022-12-21
4. Symbolic Verification of Message Signatures in MPI;2022 IEEE Conference on Software Testing, Verification and Validation (ICST);2022-04
5. Symbolic verification of message passing interface programs;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering;2020-06-27