• 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]
  • model-fitting, 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 chi-squared 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 real-time systems are modeled by timed automata and the correctness requirements...
  • AToM3

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

  • Referenced in 77 articles [sw07459]
  • modular formal semantics for Ptolemy. Ptolemy is an open-source 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 BDD-based model checking...
  • PRISM

  • Referenced in 33 articles [sw23359]
  • describe various types of symbolic-statistical 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 Dolev-Yao 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 model-checking 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 high-level 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 definition 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 non-Markov 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 reaction-transport modeling and simulation. URDME uses Unstructured triangular ... Reaction-Diffusion Master Equation formalism to model the processes under study. An interface...