-
AIFS
- Referenced in 14 articles
[sw00023]
- A considerable class of fractal sets can be...
-
ANSYS
- Referenced in 704 articles
[sw00044]
- ANSYS offers a comprehensive software suite that spans...
-
Apron
- Referenced in 69 articles
[sw00045]
- Apron: a library of numerical abstract domains for...
-
ASTRA
- Referenced in 12 articles
[sw00052]
- Fault Tree Analysis (FTA) is a formalised deductive...
-
ACL2
- Referenced in 283 articles
[sw00060]
- ACL2 is both a programming language in which...
-
AXIOM
- Referenced in 173 articles
[sw00063]
- Axiom is a general purpose Computer Algebra system...
-
Beaver
- Referenced in 10 articles
[sw00071]
- Beaver: Engineering an efficient SMT solver for bit...
-
Boolector
- Referenced in 31 articles
[sw00085]
- Boolector: an efficient SMT solver for bit-vectors...
-
CGAL
- Referenced in 394 articles
[sw00118]
- The goal of the CGAL Open Source Project...
-
Cinderella
- Referenced in 153 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 654 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 1888 articles
[sw00161]
- Coq is a formal proof management system. It...
-
COSTA
- Referenced in 24 articles
[sw00162]
- COSTA is a research prototype which performs automatic...
-
CSDP
- Referenced in 202 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 127 articles
[sw00182]
- A C++ class library for extended scientific computing...
-
Dafny
- Referenced in 73 articles
[sw00183]
- Dafny is an imperative object-based language with...