• ALBERT

  • Referenced in 82 articles [sw00025]
  • Software for scientific computations and applications. Adaptive finite element methods (FEMs) are a modern, widely ... locally refined meshes and an abstract concept of general finite element spaces. As a result...
  • OTTER

  • Referenced in 316 articles [sw02904]
  • main application of Otter is research in abstract algebra and formal logic. Otter ... many open questions in the areas of finite semigroups, ternary Boolean algebra, logic calculi, combinatory...
  • Ynot

  • Referenced in 35 articles [sw12334]
  • combined with the powerful type and abstraction mechanisms of Coq to build higher-level reasoning ... representative series of modules that implement imperative finite maps, including support for a higher-order ... tables) but share a common interface which abstracts the implementation details and ensures ... that the modules properly implement the finite map abstraction...
  • AdaBoost.MH

  • Referenced in 485 articles [sw08517]
  • study can be interpreted as a broad, abstract extension of the well-studied on-line ... rather than being binary, is an arbitrary finite set or a bounded segment...
  • TuLiP

  • Referenced in 14 articles [sw20173]
  • specifications. TuLiP combines routines for (1) finite state abstraction of control systems, (2) digital design...
  • VeriSIMPL

  • Referenced in 4 articles [sw14598]
  • work presents a technique to generate finite abstractions of autonomous Max-Plus-Linear (MPL) systems ... successive events. Abstractions of MPL systems are derived as finite-state transition systems. A transition ... establish formal equivalences, the obtained finite abstractions are proven either to simulate or to bisimulate ... specifications, by verifying them over the finite abstraction via model checking. The article presents...
  • FAUST2

  • Referenced in 14 articles [sw23682]
  • specified in MATLAB and abstracted as a finite-state Markov chain or Markov decision processes...
  • RAHFT

  • Referenced in 6 articles [sw24485]
  • verifying Horn clauses using abstract interpretation and finite tree automata. We present Rahft (Refinement ... Abstraction in Horn clauses using Finite Tree automata), an abstraction refinement tool for verifying safety ... interfaced with an abstract domain, a tool for manipulating finite tree automata and various solvers...
  • Zapato

  • Referenced in 11 articles [sw25425]
  • automatic process that produces abstract models of finite and infinite-state systems. When this process ... program paths and to refine the abstraction. In this paper we report on a fast...
  • TINA

  • Referenced in 45 articles [sw03280]
  • their state spaces. For Petri nets, these abstractions help prevent combinatorial explosion, relying ... general, infinite state spaces, they provide a finite symbolic representation of their behaviour in terms...
  • SETL

  • Referenced in 26 articles [sw36325]
  • namely general finite sets and maps. The direct availability of these abstract, composite objects...
  • HP90

  • Referenced in 20 articles [sw00415]
  • general $\text{2D-} hp\text{-adaptive}$ Finite Element (FE) implementation in Fortran 90 is described ... implementation is based on an abstract data structure, which allows to incorporate the full ... adaptivity of triangular and quadrilateral finite elements. The $h$-refinement strategies are based...
  • DMPlex

  • Referenced in 13 articles [sw17572]
  • PETSc DMPlex domain topology abstraction with the Firedrake automated finite element system to create...
  • FEMSTER

  • Referenced in 21 articles [sw00275]
  • curl})$-conforming finite element methods. The software consists of a set of abstract interfaces...
  • FMona

  • Referenced in 3 articles [sw00303]
  • results concerning transition systems, we show how abstraction can be expressed within FMona and used ... steps leading to synthesis of a finite abstract system then SMV and/or Mona validate...
  • FInAT

  • Referenced in 5 articles [sw20273]
  • attempt to provide a more abstract, smarter library of finite elements. FInAT will supply symbolic ... properties of individual finite elements, and will provide abstract algorithms for their evaluation. This enables ... about the symbolic and numerical properties of finite elements. Symbolic form languages and form compilers...
  • PHG

  • Referenced in 10 articles [sw12363]
  • operations on meshes and finite element functions in an abstract way, allowing the users...
  • Slate

  • Referenced in 5 articles [sw31053]
  • domain-specific abstraction to hybridized solvers for geoscience and beyond. Within the finite element community ... discontinuous Galerkin (DG) and mixed finite element methods have become increasingly popular in simulating geophysical ... introduce a domain-specific abstraction within the Firedrake finite element library that permits the rapid...
  • AMYTISS

  • Referenced in 2 articles [sw36936]
  • finite Markov decision processes (MDPs) as finite abstractions of given original systems, and (ii) synthesize...
  • UFL

  • Referenced in 63 articles [sw11183]
  • been used to effortlessly express finite element methods for complex systems of partial differential equations ... open-source software library. The library generates abstract syntax tree representations of variational problems, which...