Author:
Beyer Dirk,Henzinger Thomas A.,Théoduloz Grégory
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Lecture Notes in Computer Science;T. Ball,2001
2. Lecture Notes in Computer Science;D. Beyer,2006
3. Lecture Notes in Computer Science;B. Blanchet,2002
4. Codish, M., Mulkers, A., Bruynooghe, M., de la Banda, M., Hermenegildo, M.: Improving abstract interpretations by combining domains. In: Proc. PEPM, pp. 194–205. ACM Press, New York (1993)
5. Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for the static analysis of programs by construction or approximation of fixpoints. In: Proc. POPL, pp. 238–252. ACM Press, New York (1977)
Cited by
82 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
2. Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models;ACM Transactions on Programming Languages and Systems;2023-03-03
3. Ranged Program Analysis via Instrumentation;Software Engineering and Formal Methods;2023
4. Timeout Prediction for Software Analyses;Software Engineering and Formal Methods;2023
5. Parallel Program Analysis via Range Splitting;Fundamental Approaches to Software Engineering;2023