• PETSc

  • Referenced in 1114 articles [sw04012]
  • abstraction that is most appropriate for a particular problem. By using techniques of object-oriented...
  • Netgen

  • Referenced in 152 articles [sw06679]
  • given to the abstract structure of the element generation rules. Several techniques of mesh optimization...
  • jStar

  • Referenced in 32 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 ... errors. We present three techniques to automatically refine such abstract interpretations to reduce false errors ... merge abstract states at join points. We have implemented our techniques in a tool Dagger ... experimental results show our techniques are effective and that their combination is even more effective...
  • PIPER

  • Referenced in 28 articles [sw11478]
  • models, model checking message-passing programs. Abstraction and composition are the fundamental issues in making ... software. This paper proposes new techniques for automating abstraction and decomposition using source level type...
  • Helena

  • Referenced in 11 articles [sw04384]
  • terms of memory management. Structural abstractions techniques, mainly transitions agglomerations, are used to tackle...
  • AdaBoost.MH

  • Referenced in 441 articles [sw08517]
  • study can be interpreted as a broad, abstract extension of the well-studied on-line ... paper we apply the multiplicative weight-update technique to derive a new boosting algorithm. This...
  • TINA

  • Referenced in 42 articles [sw03280]
  • tool TINA -- construction of abstract state spaces for Petri nets and time Petri nets ... Petri nets or Time Petri nets. Various techniques are used to extract views ... these abstractions help prevent combinatorial explosion, relying on so-called partial order techniques such...
  • InVeSt

  • Referenced in 10 articles [sw12034]
  • invariance properties as well as abstraction techniques...
  • UEGO

  • Referenced in 16 articles [sw02239]
  • UEGO, an abstract clustering technique for multimodal global optimization In this paper, UEGO...
  • KRATOS

  • Referenced in 7 articles [sw07808]
  • programs using the symbolic lazy predicate abstraction technique. Second, Kratos implements a novel algorithm, called ... based techniques for program abstractions and refinements...
  • seL4

  • Referenced in 79 articles [sw15222]
  • verification of the seL4 microkernel from an abstract specification down to its C implementation ... approach that fuses formal and operating systems techniques. To our knowledge, this is the first ... implementation always strictly follows our high-level abstract specification of kernel behaviour. This encompasses traditional...
  • Feel++

  • Referenced in 35 articles [sw05898]
  • methods and techniques, - build mathematical software that follows closely the mathematical abstractions associated with partial...
  • Aspic

  • Referenced in 23 articles [sw04954]
  • when possible, the exact (abstract) effect of a loop. This technique is fully compatible with...
  • Synthia

  • Referenced in 7 articles [sw12933]
  • algorithm is based on a novel abstraction refinement technique that enables a clean combination...
  • PAT

  • Referenced in 30 articles [sw13258]
  • techniques are implemented in PAT, e.g. partial order reduction, symmetry reduction, process counter abstraction, parallel...
  • MLAT

  • Referenced in 3 articles [sw00582]
  • based on modal logic and predicate abstraction technique. In the framework we employ modal logic ... 2CTLN in order to express predicates for abstraction and specifications of programs. The logic...
  • FocusCheck

  • Referenced in 3 articles [sw01298]
  • program using on-the-fly abstraction techniques; (b) extract focus-statement sequences (FSSs) from counter...
  • Viper

  • Referenced in 8 articles [sw15038]
  • available) is typically developed independently for each technique, dramatically increasing the burden of developing automatic ... abstract interpretion is currently under development. A wide range of existing verification techniques ... level reasoning techniques to focus their efforts at an appropriate level of abstraction...
  • FixBag

  • Referenced in 4 articles [sw10096]
  • Fixpoint Calculator for Quantified Bag Constraints. Abstract interpretation techniques have played a major role...