Author:
Chaki S.,Clarke E.,Kidd N.,Reps T.,Touili T.
Publisher
Springer Berlin Heidelberg
Cited by
40 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Sound sequentialization for concurrent program verification;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
2. LTL model checking for communicating concurrent programs;Innovations in Systems and Software Engineering;2020-06
3. Revisiting Underapproximate Reachability for Multipushdown Systems;Tools and Algorithms for the Construction and Analysis of Systems;2020
4. CUBA: interprocedural Context-UnBounded Analysis of concurrent programs;ACM SIGPLAN Notices;2018-12-02
5. Separability by piecewise testable languages and downward closures beyond subwords;Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science;2018-07-09