Author:
Albarghouthi Aws,Gurfinkel Arie,Li Yi,Chaki Sagar,Chechik Marsha
Publisher
Springer Berlin Heidelberg
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Software Model Checking: 20 Years and Beyond;Lecture Notes in Computer Science;2022
2. Transcode: Detecting Status Code Mapping Errors in Large-Scale Systems;2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE);2021-11
3. Verifying correct usage of context-free API protocols;Proceedings of the ACM on Programming Languages;2021-01-04
4. Verification and refutation of C programs based on k-induction and invariant inference;International Journal on Software Tools for Technology Transfer;2020-05-18
5. Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020