Publisher
Springer Science and Business Media LLC
Subject
Computer Science Applications,Software
Reference20 articles.
1. LNCS;R. Bagnara,2005
2. Texts in Theoretical Computer Science;Y. Bertot,2004
3. LNCS;B. Blanchet,2002
4. Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., Rival, X.: A static analyzer for large safety-critical software. In: Programming Language Design and Implementation (PLDI), pp. 196–207. ACM, New York (2003). ISBN 1-58113-662-5. doi: 10.1145/781131.781153
5. Clarke, E.M. Jr., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999). ISBN 0-262-03270-8.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Abstract Interpretation with the Eva Plug-in;Computer Science Foundations and Applied Logic;2024
2. “Fixing” the Specification of Widenings;Intelligent Systems Reference Library;2023
3. Iterated process analysis over lattice-valued regular expressions;Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming;2016-09-05
4. Bibliography;Abstract Domains in Constraint Programming;2015
5. Mathematical programming: Turing completeness and applications to software analysis;Journal of Combinatorial Optimization;2014-02-16