On Abstraction in Software Verification-Reference-Cited by-同舟云学术

On Abstraction in Software Verification

Published:2002 Issue: Volume: Page:37-56
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Cousot Patrick,Cousot Radhia

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45657-0_3

Reference35 articles.

1. Cousot, P., Cousot, R.: Temporal abstract interpretation. In: 27th POPL, Boston, USA, ACM Press (2000) 12–25

2. Schmidt, D.: From trace sets to modal-transition systems by stepwise abstract interpretation. Submitted for publication (2001)

3. Cousot, P.:Méthodes itératives de construction et d’approximation de points fixes d’opérateurs monotones sur un treillis, analyse sémantique de programmes. Thèse d’État ès sciences mathématiques, Université scientifique et médicale de Grenoble, Grenoble, France (1978)

4. Cousot, P., Cousot, R.: Systematic design of program analysis frameworks. In: 6th POPL, San Antonio, USA, ACM Press (1979) 269–282

5. Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: 4 th POPL, Los Angeles,USA, ACM Press (1977) 238–252

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Personal Historical Perspective on Abstract Interpretation;The French School of Programming;2023-10-11

2. Verifying Numerical Programs via Iterative Abstract Testing;Static Analysis;2019

3. Combining Predicate Abstraction with Fixpoint Approximations;Software Engineering and Formal Methods;2016

4. Automatically Refining Partial Specifications for Program Verification;Lecture Notes in Computer Science;2011

5. Loop Invariant Synthesis in a Combined Domain;Formal Methods and Software Engineering;2010