Author:
de Oliveira Steven,Bensalem Saddek,Prevosto Virgile
Publisher
Springer International Publishing
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Algebraic Tools for Computing Polynomial Loop Invariants;Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation;2024-07-16
2. (Un)Solvable loop analysis;Formal Methods in System Design;2024-06-11
3. Survey of annotation generators for deductive verifiers;Journal of Systems and Software;2024-05
4. Solvable Polynomial Ideals: The Ideal Reflection for Program Analysis;Proceedings of the ACM on Programming Languages;2024-01-05
5. The Heart of Frama-C: The Frama-C Kernel;Computer Science Foundations and Applied Logic;2024