Results 1 to 20 of 261
Sort by:

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