Subject
General Computer Science,Theoretical Computer Science
Reference20 articles.
1. Blanchet, B., P. Cousot, R. Cousot, J. Feret, L. Mauborgnei, A. Miné, D. Monniaux and X. Rival, A static analyzer for large safety-critical software, in: PLDI, 2003, pp. 196–207.
2. Brauer, J. and A. King, Automatic Abstraction for Intervals using Boolean Formulae, in: R. Cousot and M. Martel, editors, SAS, LNCS (2010).
3. Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams;Bryant;AC Computing Surveys,1992
4. Recovery of Jump Table Case Statements from Binary Code;Cifuentes;Sci. Comput. Program.,2001
5. Cousot, P. and R. Cousot, Abstract Interpretation: a Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints, in: POPL, 1977, pp. 238–252.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献