• AdaBoost.MH

  • Referenced in 394 articles [sw08517]
  • model we study can be interpreted as a broad, abstract extension of the well-studied...
  • Bandera

  • Referenced in 133 articles [sw07663]
  • Both program slicing and user extensible abstract interpretation components are applied to customize the program...
  • Octagon

  • Referenced in 61 articles [sw13702]
  • targeted at static analysis by abstract interpretation (look for a short introduction on abstract interpretation ... publication is an article entitled The Octagon Abstract Domain. This library is a work...
  • Apron

  • Referenced in 55 articles [sw00045]
  • numerical variables of programs by abstract interpretation. Its goal is threefold: provide analysis implementers with ... demonstration tools to disseminate knowledge on abstract interpretation...
  • ASTREE

  • Referenced in 106 articles [sw13704]
  • ASTREÉ Analyzer. ASTRÉE is an abstract interpretation-based static program analyzer aiming at proving automatically...
  • PAG

  • Referenced in 19 articles [sw00669]
  • known a data flow analyses or abtract interpretations, may range from “simple” intraprocedural bit vector ... exploiting the underlying theories of abstract interpretation and data flow analysis the implementation and design ... supported by a tool. Abstract interpretation provides the relation to the semantics of the language ... based on the clean theory of abstract interpretation and efficient implementation methods from the theory...
  • jStar

  • Referenced in 30 articles [sw11261]
  • jStar, which combines theorem proving and abstract interpretation techniques. We demonstrate the effectiveness...
  • Dagger

  • Referenced in 15 articles [sw04953]
  • Automatically refining abstract interpretations. Abstract interpretation techniques prove properties of programs by computing abstract fixpoints ... three techniques to automatically refine such abstract interpretations to reduce false errors ... refinement algorithm, which refines abstract interpretations that use the join operator to merge abstract states...
  • CiaoPP

  • Referenced in 40 articles [sw12089]
  • CiaoPP is the abstract interpretation-based preprocessor of the Ciao multi-paradigm program development environment ... checked completely at compile-time, etc. The abstract model of the program inferred...
  • Aspic

  • Referenced in 23 articles [sw04954]
  • still one of the most powerful, abstract interpretations working in an infinite lattice. As such ... consisting in computing, when possible, the exact (abstract) effect of a loop. This technique...
  • Verasco

  • Referenced in 9 articles [sw19985]
  • programs. The analyzer is based on abstract interpretation and combines several abstract domains, non-relational...
  • SeaHorn

  • Referenced in 9 articles [sw18274]
  • software model checking and abstract interpretation for verification, and (d) uses Horn-clauses...
  • FunArray

  • Referenced in 13 articles [sw13708]
  • implemented it into Clousot, an abstract interpretation-based static contract checker for .NET. We empirically...
  • HMC

  • Referenced in 5 articles [sw09867]
  • Verifying functional programs using abstract interpreters. We present Hindley-Milner-Cousots (HMC), an algorithm that ... state-based reasoning grounded in abstract interpretation, HMC enables the fully automatic verification of programs...
  • Isar

  • Referenced in 125 articles [sw04599]
  • proving systems and an appropriate level of abstraction for user-level work. The Isar formal ... immediately ’executable’, by virtue of the Isar/VM interpreter. Compared to existing declarative theorem proving systems...
  • SMACK

  • Referenced in 6 articles [sw23311]
  • algorithms for verification, model checking, and abstract interpretation...
  • Cibai

  • Referenced in 4 articles [sw26821]
  • Cibai: An abstract interpretation-based static analyzer for modular analysis and verification of Java classes ... generic static analyzer based on abstract interpretation for the modular analysis and verification of Java...
  • GOLOG

  • Referenced in 162 articles [sw02159]
  • logic programming language called GOLOG whose interpreter automatically maintains an explicit representation of the dynamic ... written at a much higher level of abstraction than is usually possible. The language appears...
  • PAGAI

  • Referenced in 5 articles [sw13095]
  • state-of-the-art algorithms combining abstract interpretation and decision procedures (SMT-solving), focusing ... exponential enumerations. It is parametric in the abstract domain in use, the iteration algorithm...
  • IKOS

  • Referenced in 3 articles [sw14865]
  • Framework for Static Analysis Based on Abstract Interpretation. The RTCA standard (DO-178C) for developing ... scalable. IKOS harnesses the power of Abstract Interpretation and makes it accessible to a larger ... concerns such as code parsing, model development, abstract domain management, results management, and analysis strategy...