Publisher
Springer International Publishing
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Java Verification Tool KeY:A Tutorial;Lecture Notes in Computer Science;2024-09-13
2. Requirement-Dependent Extra Invariant Patterns in Deductive Verification of PoST Programs;2024 IEEE 25th International Conference of Young Professionals in Electron Devices and Materials (EDM);2024-06-28
3. I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking;The Logic of Software. A Tasting Menu of Formal Methods;2022
4. Towards a Modular and Variability-Aware Aerodynamic Simulator;The Logic of Software. A Tasting Menu of Formal Methods;2022
5. Implications of Deductive Verification on Research Quality;The Logic of Software. A Tasting Menu of Formal Methods;2022