
UNITY
 Referenced in 174 articles
[sw13461]
 models. The methodology starts with a simulation model specification in the form ... transition systems first into a set of formal assertions, permitting formal verification of the transition ... systems: one can specify properties formally that the model should obey and prove them...

spatstat
 Referenced in 124 articles
[sw04429]
 modelfitting, simulation, spatial sampling, model diagnostics, and formal inference. Data types include point patterns ... indices, mark dependence diagnostics etc. Point process models can be fitted to point pattern data ... provides facilities for formal inference (such as chisquared tests) and model diagnostics (including simulation...

Kronos
 Referenced in 261 articles
[sw01270]
 rigorously modeled and specified in order to be able to formally prove their correctness with ... KRONOS, components of realtime systems are modeled by timed automata and the correctness requirements...

AToM3
 Referenced in 32 articles
[sw10092]
 AToM3 : A tool for multiformalism and metamodelling. This article ... introduces the combined use of multiformalism modelling and metamodelling to facilitate computer assisted ... parts of a system using different formalisms. Models can be automatically converted between formalisms thanks ... automatic generation of multiformalism modelling tools, formalisms are modelled in their own right...

Ptolemy
 Referenced in 77 articles
[sw07459]
 modular formal semantics for Ptolemy. Ptolemy is an opensource and extensible modelling and simulation ... offers heterogeneous modeling capabilities by allowing different models of computation, both untimed and timed ... arbitrary fashion. This paper proposes a formal semantics for Ptolemy that is modular ... directors realise different models of computation. In this paper, we formally define the directors...

NuSMV
 Referenced in 295 articles
[sw04131]
 designed to be an open architecture for model checking, which can be reliably used ... formal verification techniques, and applied to other research areas. NuSMV2, combines BDDbased model checking...

PRISM
 Referenced in 33 articles
[sw23359]
 describe various types of symbolicstatistical modeling formalism known but unrelated ... learning results, that most popular probabilistic modeling formalisms, the hidden Markov model and Bayesian networks...

Arc_Mat
 Referenced in 91 articles
[sw07176]
 parallel coordinate plots; and more formal spatial data modeling that draws on the extensive Spatial...

ProVerif
 Referenced in 39 articles
[sw06558]
 automatic cryptographic protocol verifier, in the formal model (so called DolevYao model). This protocol...

VIATRA2
 Referenced in 33 articles
[sw03511]
 unidirectional model transformations frequently used in formal model analysis to carry out powerful abstractions...

MIM
 Referenced in 125 articles
[sw26139]
 graphical modelling with emphasis on applications and practicalities rather than on a formal development...

Bandera
 Referenced in 134 articles
[sw07663]
 visualization components designed to facilitate experimentation with modelchecking Java source code. Bandera takes ... requirement formalized in Bandera’s temporal specification language, and it generates a program model...

GROOVE
 Referenced in 50 articles
[sw09480]
 operational semantics. This entails a formal foundation for model transformation and dynamic semantics...

TAXYS
 Referenced in 21 articles
[sw01389]
 TAXYS tool is to produce a formal model that captures the temporal behavior ... this purpose we use the formal model of timed automata. The choice of this model...

APS
 Referenced in 29 articles
[sw08969]
 combinations at different levels of implementation. Formal models used in the developing computational techniques...

Möbius
 Referenced in 24 articles
[sw04098]
 support of multiple highlevel modeling formalisms and multiple solution techniques. This flexibility allows engineers ... scientists to represent their systems in modeling languages appropriate to their problem domains, and then...

DACTL
 Referenced in 28 articles
[sw02871]
 graph rewriting to model a variety of computational formalisms is presented by showing how some ... formal presentation of the Dactl model before giving a formal deﬁnition of the syntax...

SMART_
 Referenced in 33 articles
[sw04097]
 Logical and stochastic modeling with smart. We describe the main features of Smart, a software ... systems. Smart can combine different formalisms in the same modeling study. For the analysis ... process, but certain classes of nonMarkov models can still be solved numerically. Finally, since ... that allows for easy integration of new formalisms and solution algorithms...

HMQV
 Referenced in 77 articles
[sw02714]
 variety of attacks in this model that invalidate its basic security as well as many ... goals can be formally proved to hold in the random oracle model under the computational...

URDME
 Referenced in 25 articles
[sw10400]
 software framework for general stochastic reactiontransport modeling and simulation. URDME uses Unstructured triangular ... ReactionDiffusion Master Equation formalism to model the processes under study. An interface...