Author:
Bubel Richard,Hähnle Reiner,Heydari Tabar Asmae
Publisher
Springer International Publishing
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Schematic Program Proofs with Abstract Execution;Journal of Automated Reasoning;2024-03-26
2. Deductive verification of active objects with Crowbar;Science of Computer Programming;2023-03
3. The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics;Electronic Proceedings in Theoretical Computer Science;2022-08-09
4. Automatic loop invariant generation for data dependence analysis;Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering;2022-05-18
5. Correct program parallelisations;International Journal on Software Tools for Technology Transfer;2021-02-14