Results 1 to 20 of 1450
Sort by:

  • AIFS
  • Referenced in 14 articles [sw00023]
  • A considerable class of fractal sets can be...

  • ASTRA
  • Referenced in 12 articles [sw00052]
  • Fault Tree Analysis (FTA) is a formalised deductive...

  • ACL2
  • Referenced in 239 articles [sw00060]
  • ACL2 is both a programming language in which...

  • AXIOM
  • Referenced in 161 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...

  • Beaver
  • Referenced in 7 articles [sw00071]
  • Beaver: Engineering an efficient SMT solver for bit...

  • Boolector
  • Referenced in 20 articles [sw00085]
  • Boolector: an efficient SMT solver for bit-vectors...

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

  • Cinderella
  • Referenced in 131 articles [sw00127]
  • An Interactive Geometry Software. Besides support for dynamic...

  • CLAN
  • Referenced in 8 articles [sw00129]
  • CLAN: A tool for contract analysis and conflict...

  • Cocktail
  • Referenced in 4 articles [sw00142]
  • Cocktail: A tool for deriving correct programs (Eindhoven...

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

  • ConImp
  • Referenced in 8 articles [sw00153]
  • Dies ist eine (Kurz-)Bbeschreibung des Programmes ConImp...

  • Coq
  • Referenced in 1348 articles [sw00161]
  • Coq is a formal proof management system. It...

  • COSTA
  • Referenced in 21 articles [sw00162]
  • COSTA is a research prototype which performs automatic...

  • CSDP
  • Referenced in 173 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...

  • CUTE
  • Referenced in 53 articles [sw00177]
  • CUTE: a concolic unit testing engine for C...

  • C-XSC 2.0
  • Referenced in 115 articles [sw00182]
  • A C++ class library for extended scientific computing...

  • Dafny
  • Referenced in 40 articles [sw00183]
  • Dafny is an imperative object-based language with...

  • DDDLIB
  • Referenced in 1 article [sw00192]
  • DDDLIB is a library for manipulating formulae in...

  • DEMiCs
  • Referenced in 17 articles [sw00196]
  • DEMiCs is a software package written in C...