• Apron

  • Referenced in 69 articles [sw00045]
  • Apron: a library of numerical abstract domains for static analysis. This article describes Apron ... static analysis of the numerical variables of programs by abstract interpretation. Its goal is threefold ... unified API, encourage the research in numerical abstract domains by providing a platform for integration...
  • BOXES

  • Referenced in 6 articles [sw21178]
  • symbolic abstract domain of boxes. Numeric abstract domains are widely used in program analyses ... simplest numeric domains over-approximate disjunction by an imprecise join, typically yielding path-insensitive analyses ... This problem is addressed by domain refinements, such as finite powersets, which provide exact disjunction ... efficient way to represent and manipulate abstract values. The simple approach of using ”sets...
  • UFL

  • Referenced in 63 articles [sw11183]
  • Unified Form Language (UFL), which is a domain-specific language for representing weak formulations ... partial differential equations with a view to numerical approximation. Features of UFL include support ... open-source software library. The library generates abstract syntax tree representations of variational problems, which...
  • ELINA

  • Referenced in 1 article [sw21742]
  • ELINA contains optimized implementations of popular numerical abstract domains such as Polyhedra and Octagons ... performance of static analysis with the numerical domains...
  • PAGAI

  • Referenced in 7 articles [sw13095]
  • infrastructure, which computes inductive invariants on the numerical variables of the analyzed program. PAGAI implements ... various state-of-the-art algorithms combining abstract interpretation and decision procedures (SMT-solving), focusing ... enumerations. It is parametric in the abstract domain in use, the iteration algorithm...
  • LORENE

  • Referenced in 9 articles [sw09576]
  • classes to solve various problems arising in numerical relativity, and more generally in computational astrophysics ... partial differential equations by means of multi-domain spectral methods. Scientific results obtained by means ... such as arrays and matrices, but also abstract mathematical objects, such as tensors, and astrophysical...
  • EUREKA

  • Referenced in 3 articles [sw20979]
  • array elements range over a numeric domain and expressions involve linear combinations of variables ... experiments, techniques based on predicate abstraction do not apply successfully...
  • FixBag

  • Referenced in 4 articles [sw10096]
  • Fixpoint Calculator for Quantified Bag Constraints. Abstract interpretation techniques have played a major role ... techniques have been developed for the numerical domains which may be sufficient for lower levels...
  • Aboria

  • Referenced in 2 articles [sw22593]
  • library for the implementation of particle-based numerical methods. The particles in such methods ... Dynamics) or abstract particles used to discretise a continuous function over a domain (e.g. Radial...
  • MEFiSTo

  • Referenced in 2 articles [sw21240]
  • MEFiSTo™ electromagnetic time domain simulators are built using object-oriented architecture. Numerical robustness, reliability ... emulate a virtual laboratory rather than an abstract computational environment...
  • TMunit

  • Referenced in 3 articles [sw33344]
  • testbed. Transactional memory (TM) is a promising abstraction as it hides all synchronization complexities from ... concurrent applications. Researchers have recently identified numerous issues TMs may suffer from. Surprisingly ... propose a framework, TMunit, that provides a domain specific language to write rapidly TM workloads...
  • Penrose

  • Referenced in 1 article [sw40705]
  • diagrams. Its basic functionality is to translate abstract statements written in familiar math-like notation ... constrained numerical optimization. The system is user-extensible to many domains of mathematics...
  • FLDBox

  • Referenced in 1 article [sw40308]
  • verification technique for numerical properties, named Runtime Abstract Interpretation (RAI), that, given an annotated source ... code, embeds into it an abstract analyzer in order to analyze the program behavior ... runtime. RAI is a hybrid technique combining abstract interpretation and runtime verification that aims ... analyzes different executions and merges the computed domains at the end of the section...
  • BluePyOpt

  • Referenced in 0 articles [sw37639]
  • problem with a complex fitness landscape, requiring numerical techniques to find suitable approximate solutions. Stochastic ... parameters is non-trivial, requiring domain-specific expertise. Here we describe BluePyOpt, a Python package ... techniques and knowledge. This is achieved by abstracting the optimisation and evaluation tasks into various...
  • 2LEV-D2P4

  • Referenced in 10 articles [sw00009]
  • We present a package of parallel preconditioners which...
  • ALBERT

  • Referenced in 82 articles [sw00025]
  • ALBERT - Software for scientific computations and applications. Adaptive...
  • ATLAS

  • Referenced in 199 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CGAL

  • Referenced in 384 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...