
MMACBETH
 Referenced in 103 articles
[sw16199]
 relative attractiveness of options. It employs an initial, interactive, questioning procedure that compares two elements ... judgements are entered into the software, it automatically verifies their consistency. A numerical scale...

Dynamite 2.0
 Referenced in 1 article
[sw01320]
 software requirements According to the Verified Software Initiative manifesto, par The Dynamite Proving System...

CONTIDNS
 Referenced in 1 article
[sw18602]
 yield verified enclosures of the solution, initially gained from the software package CONTIDNS (CONtinuous Time...

SCTLMUS
 Referenced in 8 articles
[sw02245]
 paper introduces an iterative model for the software development process of distributed systems ... SCTL requirements; and, secondly, to verify the consistency and completeness of the specified requirements.par ... allows obtaining the specification of the initial architecture of the system formally. Besides, the design...

WNetKAT
 Referenced in 1 article
[sw25228]
 language. Programmability and verifiability lie at the heart of the softwaredefined networking paradigm. While ... sufficient in many practical scenarios, and we initiate the discussion of decidable subsets...

MultiFracs
 Referenced in 1 article
[sw40772]
 parallel multiphysics finite elementdiscrete element software named MultiFracs. The model can simulate the grout ... elements, which is updated to simulate fracture initiation and propagation during grouting. Therefore, both ... singlefracture grouting example is presented to verify the grouting model. Finally, the model...

DAMAGE XXX
 Referenced in 2 articles
[sw08741]
 developed: to model hightemperature creep damage initiation, evolution and crack growth ... parallelism. The development and verification of the software have been carried out using uniaxial ... parallel computer software, and independent 2D serial software, at an average minimum crosssection ... newly developed 3D parallel software, have been verified using independent results...

KINSOLVER
 Referenced in 1 article
[sw00488]
 arbitrary size, topology, rate constants, and initial conditions by 5 standard methods (Euler, modified Euler ... network’s behavior. The simulator is verified as rapidly solving in seconds (with benchmarks relative ... backend. The software can be downloaded from \url{http://webster.cs.uga.edu/ boanerg/mams...

ACRITHXSC
 Referenced in 49 articles
[sw00015]
 ACRITHXSC is a Fortranlike programming language...

BARON
 Referenced in 339 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

CADNA
 Referenced in 46 articles
[sw00098]
 CADNA: a library for estimating roundoff error...

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

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

GAP
 Referenced in 3068 articles
[sw00320]
 GAP is a system for computational discrete algebra...

gmp
 Referenced in 275 articles
[sw00363]
 GMP is a free library for arbitrary precision...

Isabelle
 Referenced in 674 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

LANCELOT
 Referenced in 304 articles
[sw00500]
 LANCELOT. A Fortran package for largescale nonlinear...

LAPACK
 Referenced in 1677 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Maple
 Referenced in 5296 articles
[sw00545]
 The result of over 30 years of cutting...

MapReduce
 Referenced in 257 articles
[sw00546]
 MapReduce is a new parallel programming model initially...