
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 279 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 bitvectors...

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

Cinderella
 Referenced in 151 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 631 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 1807 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 63 articles
[sw00177]
 CUTE: a concolic unit testing engine for C...

CXSC 2.0
 Referenced in 125 articles
[sw00182]
 A C++ class library for extended scientific computing...

Dafny
 Referenced in 66 articles
[sw00183]
 Dafny is an imperative objectbased language with...

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

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