
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 componentbased 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 Lfunctions and their sources. Lfunctions 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 013538687X describes the theory behind QDES...

MathCheck
 Referenced in 12 articles
[sw13642]
 providing learned clauses that encode theoryspecific lemmas, as it searches for a counterexample ... longstanding open mathematical conjectures from graph theory regarding properties of hypercubes: the first conjecture...

LEGO
 Referenced in 107 articles
[sw09685]
 higherorder 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]
 fluidspecific 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 theorysolvers, 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 situationspecific 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...