• M-MACBETH

  • 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...
  • SCTL-MUS

  • 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 software-defined 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 element-discrete element software named MultiFracs. The model can simulate the grout ... elements, which is updated to simulate fracture initiation and propagation during grouting. Therefore, both ... single-fracture grouting example is presented to verify the grouting model. Finally, the model...
  • DAMAGE XXX

  • Referenced in 2 articles [sw08741]
  • developed: to model high-temperature creep damage initiation, evolution and crack growth ... parallelism. The development and verification of the software have been carried out using uni-axial ... parallel computer software, and independent 2-D serial software, at an average minimum cross-section ... newly developed 3-D 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 ... back-end. The software can be downloaded from \url{http://webster.cs.uga.edu/ boanerg/mams...
  • 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 round-off error...
  • Coq

  • Referenced in 1856 articles [sw00161]
  • Coq is a formal proof management system. It...
  • C-XSC 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 large-scale 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...