Author:
Karpenkov Egor George,Monniaux David,Wendler Philipp
Publisher
Springer Berlin Heidelberg
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Software Model Checking: 20 Years and Beyond;Lecture Notes in Computer Science;2022
2. Learning the boundary of inductive invariants;Proceedings of the ACM on Programming Languages;2021-01-04
3. Improving the results of program analysis by abstract interpretation beyond the decreasing sequence;Formal Methods in System Design;2017-12-09
4. Compositional recurrence analysis revisited;ACM SIGPLAN Notices;2017-09-14
5. Compositional recurrence analysis revisited;Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation;2017-06-14