Results 1 to 20 of 1860
Sort by:

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

  • ANSYS
  • Referenced in 677 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...

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

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

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

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

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

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

  • Cinderella
  • Referenced in 152 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 5 articles [sw00142]
  • Cocktail: A tool for deriving correct programs (Eindhoven...

  • CoCoA
  • Referenced in 646 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 1845 articles [sw00161]
  • Coq is a formal proof management system. It...

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

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

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

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

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

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