Funder
European Research Council
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference4 articles.
1. Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Graham, R.M., Harrison, M.A., Sethi, R. (eds) Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, California, USA, Jan 1977, ACM, pp 238–252 (1977).
https://doi.org/10.1145/512950.512973
2. Cousot, P., Halbwachs, N.: Automatic discovery of linear restraints among variables of a program. In: Aho, A.V., Zilles, S.N., Szymanski, T.G. (eds.) POPL, pp. 84–96. ACM Press, New York (1978).
https://doi.org/10.1145/512760.512770
3. Gawlitza, T., Monniaux, D.: Invariant generation through strategy iteration in succinctly represented control flow graphs. Logical Methods in Computer Science (2012).
https://doi.org/10.2168/LMCS-8(3:29)2012
4. Halbwachs, N.: Détermination automatique de relations linéaires vérifiées par les variables d’un programme. Ph.D. thesis, Université Scientifique et Médicale de Grenoble and Institut National Polytechnique de Grenoble (1979).
https://tel.archives-ouvertes.fr/tel-00288805
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Porous invariants for linear systems;Formal Methods in System Design;2024-02-28
2. On Strongest Algebraic Program Invariants;Journal of the ACM;2023-10-11
3. Porous Invariants;Computer Aided Verification;2021
4. Decidability of affine solution problems;Journal of Logic and Computation;2019-01-02
5. On the Monniaux Problem in Abstract Interpretation;Static Analysis;2019