Author:
Blanchet Bruno,Cousot Patrick,Cousot Radhia,Feret Jérome,Mauborgne Laurent,Miné Antoine,Monniaux David,Rival Xavier
Cited by
229 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. FM-Weck: Containerized Execution of Formal-Methods Tools;Lecture Notes in Computer Science;2024-09-13
2. Precise Compositional Buffer Overflow Detection via Heap Disjointness;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
3. Pragmatics of formally verified yet efficient static analysis, in particular, for formally verified compilers;International Journal on Software Tools for Technology Transfer;2024-07-29
4. Poles-based Invariant Generation for Verifying the BIBO Stability of Digital Filters;Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control;2024-05-14
5. P-stable abstractions of hybrid systems;Software and Systems Modeling;2024-01-29