• 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 test-derivation 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 “challenge-response 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]
  • natural-mode 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 second-order 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 2-component 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 non-conforming elements. Several aspects of this code derive from...
  • StdPooling-PolyAlgos

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