
SCALCG
 Referenced in 100 articles
[sw08453]
 quasiNewton 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 firstorder formulas. Some tasks, however, most notably those involving synthesis ... higher order; these are typically handled by embedding a firstorder 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 nonlinear 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 ... reliabilitydriven mapping of tasks to distributed embedded control units in a steerbywire...

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 TeXlike formula drawing, an arbitrary curvilinear coordinate system...

BEMLIB
 Referenced in 101 articles
[sw00005]
 BEMLIB is a boundaryelement 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 bitvectors...

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

CUBPACK
 Referenced in 29 articles
[sw00175]
 CUBPACK aims to offer a collection of re...

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