• SCALCG

  • Referenced in 100 articles [sw08453]
  • quasi-Newton BFGS updating formula. The computational scheme is embedded in the restart philosophy ... anticipative manner by means of a formula using the function values in two successive points...
  • Breach

  • Referenced in 20 articles [sw20822]
  • temporal logic (MITL) formulas. The application domain of Breach ranges from embedded systems design...
  • MSO_Regex_Equivalence

  • Referenced in 7 articles [sw32230]
  • verify an executable decision procedure for MSO formulas that is not based on automata ... derivatives. Yet, for a straightforward embedding of MSO formulas into regular expressions an extension...
  • ICS

  • Referenced in 20 articles [sw21618]
  • used as a standalone application that reads formulas interactively, and may also be included ... library in any application that requires embedded deduction...
  • Alloy*

  • Referenced in 4 articles [sw20736]
  • generally restricted to first-order formulas. Some tasks, however, most notably those involving synthesis ... higher order; these are typically handled by embedding a first-order solver (such...
  • iSAT

  • Referenced in 3 articles [sw28679]
  • often contain additional analog parts – makingthem to embedded hybrid systems. If such systems are used ... booleancombinations of linear and non-linear constraint formulas (including transcendental functions),and thus is suitable...
  • DesertFD

  • Referenced in 2 articles [sw06586]
  • reduction of the design space, property composition formulas and constraints into a constraint satisfaction problem ... reliability-driven mapping of tasks to distributed embedded control units in a steer-by-wire...
  • MaxTract

  • Referenced in 2 articles [sw10183]
  • into multiple formats including LaTeX, HTML with embedded MathML, and plain text. Using a bespoke ... dimensional relationships between symbols in mathematical formulae and the one dimensional relationships present in standard...
  • DimSim

  • Referenced in 1 article [sw09874]
  • physical sciences to find errors in formulas, this approach does not scale to complex cyber ... applied DimSim to numerous examples from different embedded system domains. Experimental results show that...
  • MathGL

  • Referenced in 0 articles [sw05838]
  • window and console modes, and easily embedding into other programs. It has more than ... smoothed lightning, vector fonts and TeX-like formula drawing, an arbitrary curvilinear coordinate system...
  • BEMLIB

  • Referenced in 101 articles [sw00005]
  • BEMLIB is a boundary-element software library of...
  • ASTA

  • Referenced in 16 articles [sw00051]
  • ASTA is a tool for research in predictions...
  • ATLAS

  • Referenced in 197 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • ACL2

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

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

  • Referenced in 79 articles [sw00131]
  • CLIFFORD performs various computations in Grass mann and...
  • CoCoA

  • Referenced in 621 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1784 articles [sw00161]
  • Coq is a formal proof management system. It...
  • FGb

  • Referenced in 240 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...