Author:
Podelski Andreas,Rybalchenko Andrey
Publisher
Springer Berlin Heidelberg
Cited by
73 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Software model-checking as cyclic-proof search;Proceedings of the ACM on Programming Languages;2022-01-12
2. Symbolic Analysis of Linear Hybrid Automata – 25 Years Later;Lecture Notes in Computer Science;2022
3. Formulog: Datalog for SMT-based static analysis;Proceedings of the ACM on Programming Languages;2020-11-13
4. Transformational Verification of Quicksort;Electronic Proceedings in Theoretical Computer Science;2020-08-07
5. Ultimate TreeAutomizer (CHC-COMP Tool Description);Electronic Proceedings in Theoretical Computer Science;2019-07-09