Author:
Dockins Robert,Hobor Aquinas,Appel Andrew W.
Publisher
Springer Berlin Heidelberg
Cited by
80 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. An Iris Instance for Verifying CompCert C Programs;Proceedings of the ACM on Programming Languages;2024-01-05
2. Leaf: Modularity for Temporary Sharing in Separation Logic;Proceedings of the ACM on Programming Languages;2023-10-16
3. Verification-Preserving Inlining in Automatic Separation Logic Verifiers;Proceedings of the ACM on Programming Languages;2023-04-06
4. Sound Automation of Magic Wands;Computer Aided Verification;2022
5. Verified Software Units for Simple DFA Modules and Objects in C;Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering;2022