Author:
Tomasco Ermenegildo,Nguyen Truc Lam,Fischer Bernd,La Torre Salvatore,Parlato Gennaro
Publisher
Springer International Publishing
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Static Data Race Detection via Lazy Sequentialization;Lecture Notes in Computer Science;2024
2. CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory;Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering;2022-10-10
3. Bounded Verification of Multi-threaded Programs via Lazy Sequentialization;ACM Transactions on Programming Languages and Systems;2022-03-31
4. The Decidability of Verification under PS 2.0;Programming Languages and Systems;2021
5. Verification of programs under the release-acquire semantics;Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation;2019-06-08