
AUSM
 Referenced in 278 articles
[sw06367]
 Specifically, we employ asymptotic analysis to formally derive proper scalings for the numerical fluxes...

FLAME
 Referenced in 38 articles
[sw00293]
 combination with our formal linear algebra methods environment (FLAME) approach to deriving such families...

CacheAudit
 Referenced in 7 articles
[sw32299]
 cache configuration, and it derives formal, quantitative security guarantees for a comprehensive set of side...

TorX
 Referenced in 19 articles
[sw07155]
 them usable as an input formalism, a testderivation algorithm from timed automata...

RGITL
 Referenced in 5 articles
[sw13917]
 correctness of such rules can be formally derived in the calculus. Decomposition theorems for other...

Fiat
 Referenced in 14 articles
[sw21357]
 automated tactics. Each derivation in Fiat produces a formal proof trail certifying that the synthesized...

RuleML
 Referenced in 27 articles
[sw01792]
 markup, formal semantics, and efficient implementations.RuleML covers the entire rule spectrum, from derivation rules...

HMQV
 Referenced in 78 articles
[sw02714]
 security goals can be formally proved to hold in the random oracle model under ... form of “challengeresponse signatures”, derived from the Schnorr identification scheme, that have the property...

STG
 Referenced in 21 articles
[sw07274]
 techniques to derive symbolic tests that incorporate their own oracles from formal operational specifications...

TRIC
 Referenced in 47 articles
[sw02165]
 naturalmode finite element method formalized through appropriate geometrical, trigonometrical and enigneering mathematical relations ... mass and geometrical matrices are all explicitly derived. The kinematics of the element are hierarchically...

qGCL
 Referenced in 25 articles
[sw39240]
 computer (including initialisation and observation), has a formal semantics and body of laws, and provides ... refinement calculus supporting the verification and derivation of programs against their specifications. A representative selection...

MSO_Regex_Equivalence
 Referenced in 7 articles
[sw32230]
 Procedures for MSO on Words Based on Derivatives of Regular Expressions. Monadic secondorder logic ... expression equivalence have been formalized before, usually based on Brzozowski derivatives. Yet, for a straightforward ... different semantics of MSO. The formalization is described in this ICFP 2013 functional pearl...

SearchSleuth
 Referenced in 3 articles
[sw11687]
 conceptual neighbourhood focused on a formal concept derived from the query. The conceptual neighbourhood...

LanHEP
 Referenced in 20 articles
[sw00502]
 symbols for complicated expressions, such as covariant derivative and strength tensor for gauge fields. Supersymmetric ... theories can be described using the superpotential formalism and the 2component fermion notation...

KDDONTO
 Referenced in 1 article
[sw17513]
 characterizing algorithms, and analyzing them we formally derive classes and relations of the ontology. Finally...

Regex_Equivalence
 Referenced in 6 articles
[sw32229]
 Five recently published formalizations of such decision procedures (three based on derivatives, two on marked ... decision procedures in a meaningful way. The formalization is described in a paper...

Unbound
 Referenced in 4 articles
[sw22613]
 combinators. We provide a formal semantics for this language derived from a locally nameless representation...

GASpAR
 Referenced in 11 articles
[sw18141]
 formalism accommodates both conforming and nonconforming elements. Several aspects of this code derive from...

StdPoolingPolyAlgos
 Referenced in 5 articles
[sw34823]
 P/NP) boundary. We formally present the results obtained and their derivations for various specialized single...