• Z

  • Referenced in 282 articles [sw10291]
  • specification language $Z$. It is primarily directed to the user; the background theory is -- with ... adquate for promoting a discipline of formal specification and reasoning? Another disappointment is that...
  • MIO Workbench

  • Referenced in 29 articles [sw09762]
  • Input/Output interfaces (MIOs) is a new specification theory for systems communicating via inputs and outputs ... automata and interface automata, two dominant specification theories for component-based design. This paper presents...
  • IMPS

  • Referenced in 52 articles [sw09143]
  • simple type theory with partial functions and subtypes. Mathematical specification and inference are performed relative...
  • LMFDB

  • Referenced in 158 articles [sw07249]
  • particular specific L-functions and their sources. L-functions are ubiquitous in number theory...
  • AsmL

  • Referenced in 43 articles [sw11363]
  • executable specification language based on the theory of Abstract State Machines, invented by Yuri Gurevich ... uses XML and Word for literate specifications. It is fully interoperable with other .NET languages...
  • PHREEQC

  • Referenced in 30 articles [sw07853]
  • aqueous model, and the SIT (Specific ion Interaction Theory) aqueous model. Using any of these...
  • Wirtinger Flow

  • Referenced in 110 articles [sw34175]
  • Theory and Algorithms. We study the problem of recovering the phase from magnitude measurements; specifically ... terms of computational and data resources. In theory, a variation on this scheme leads...
  • QDES

  • Referenced in 110 articles [sw26999]
  • QDES is a linear control system design specification compiler and solver, originally released ... ISBN 0-13-538687-X describes the theory behind QDES...
  • MathCheck

  • Referenced in 12 articles [sw13642]
  • providing learned clauses that encode theory-specific lemmas, as it searches for a counterexample ... long-standing open mathematical conjectures from graph theory regarding properties of hypercubes: the first conjecture...
  • LEGO

  • Referenced in 107 articles [sw09685]
  • higher-order power of its underlying type theories, and the support of specifying new inductive ... formalization of mathematical problems and program specification and development...
  • Motras

  • Referenced in 9 articles [sw09240]
  • provide the operations required from specification theories as well as some additional support such...
  • Why3

  • Referenced in 134 articles [sw04438]
  • verification. It provides a rich language for specification and programming, called WhyML, and relies ... comes with a standard library of logical theories (integer and real arithmetic, Boolean operations, sets...
  • EnviroStat

  • Referenced in 25 articles [sw11048]
  • theory in practice. With the help of software, more specifically R codes, values at ungauged ... monitoring sites are selected. The mathematical theory for the suggested methods is explained...
  • Refprop

  • Referenced in 40 articles [sw24947]
  • fluid-specific correlations, an ECS method, or in some cases the friction theory method...
  • PAG

  • Referenced in 21 articles [sw00669]
  • difficult and expensive. By exploiting the underlying theories of abstract interpretation and data flow analysis ... best of both worlds, specification languages based on the clean theory of abstract interpretation...
  • mCRL2

  • Referenced in 55 articles [sw01496]
  • Common Representation Language 2. It is a specification language that can be used to specify ... successor to µCRL. Extensive theory is available for verifying processes manually. A major part...
  • OpenSMT

  • Referenced in 28 articles [sw08426]
  • OpenSMT has been specifically designed to be easily extended with new theory-solvers, in order...
  • TRAVOS

  • Referenced in 20 articles [sw11985]
  • interaction partner. Specifically, trust is calculated using probability theory taking account of past interactions between...
  • MEBN

  • Referenced in 15 articles [sw02784]
  • First Order Logic (FOL) with Bayesian probability theory. MEBN extends ordinary Bayesian networks to allow ... form highly complex situation-specific Bayesian networks. A MEBN theory (MTheory) implicitly represents a joint...
  • Gallina

  • Referenced in 6 articles [sw27568]
  • allows developing mathematical theories and to prove specifications of programs. The theories are built from...