• OMNet++

  • Referenced in 65 articles [sw04170]
  • OMNeT++ is an extensible, modular, component-based C++ simulation library and framework, primarily for building ... specific functionality such as support for sensor networks, wireless ad-hoc networks, Internet protocols, performance...
  • VerICS

  • Referenced in 33 articles [sw02011]
  • Timed Automata and protocols written in a subset of the specification language Estelle, developed ... input for Verics, an Estelle specification, a specification in our original intermediate language ... specification can be translated to timed automata, which are passed to other Verics components...
  • IF-2.0

  • Referenced in 46 articles [sw03303]
  • validation environment for component-based real-time systems It is widely recognised that the automated ... timed asynchronous systems (such as telecommunication protocols or distributed applications, in general). The toolbox ... well as front-ends to various specification languages and validation tools (academic and commercial ones ... pure IF-1.0 specifications. This is too restrictive for complex system specifications which mix formal...
  • ICENI

  • Referenced in 12 articles [sw07821]
  • ICENI: Optimisation of component applications within a Grid environment. Effective exploitation of computational grids ... that uses open and extensible XML derived protocols, within a framework built using Java ... high-level application specification, defined as a network of components, to an optimal combination...
  • J-Sim

  • Referenced in 6 articles [sw20626]
  • both energy-producing and energy-consuming components). Application-specific models can be defined by subclassing ... known localization, geographic routing, and directed diffusion protocols, and perform performance comparisons (in terms...
  • dgpf

  • Referenced in 3 articles [sw04801]
  • many problems like the evolution of network protocols and distributed algorithms. In most cases ... design framework assisting the engineer in optimizing specific aspects in system development. In this article ... increased remarkably by isolating it as a component and integrating it into the model-driven...
  • CTESK

  • Referenced in 1 article [sw15731]
  • formal representation of requirements, usually called formal specifications, as a source of test development. There ... process control, health monitoring systems); System software (components implementing OS services, Web servers); Telecommunication software ... software related to formally stated standards (protocols, Internet applications). CTESK improves software development processes, because ... tests can be developed based on specification only, therefore being independent from implementation. Forward development...
  • ADEES

  • Referenced in 1 article [sw02348]
  • used to generate event managers adopted by components to produce and consume events according ... anonymous messages, specific composite event operators, synchronous/asynchronous detection, push/pull protocol). The second aspect concerns...
  • miTLS

  • Referenced in 1 article [sw27823]
  • verified reference implementation of the TLS protocol. Our code fully supports its wire formats, ciphersuites ... present security specifications for its main components, such as authenticated stream encryption for the record ... with ideal functionalities. We finally typecheck the protocol state machine, and thus obtain precise security...
  • EASN

  • Referenced in 2 articles [sw07597]
  • description of the protocol and an ASN.1 specification of the data-model. ASN.1 (Abstract Syntax ... been developed to describe abstractly the values protocol data units can assume; this ... constrain/construct the state space of the protocol accurately. However, with current practice, any change ... cannot easily be checked for consistency while protocols are being developed. In this work...
  • Skeblle

  • Referenced in 1 article [sw13646]
  • form drawing tools to pre-programmed notation specific tools for UML or SDL, and further ... software deployment and architecture diagrams, explain distributed protocols, and visualize chemical reactions. We show that ... illustrate differences in system states due to component failures, data flows, and chemical interactions...
  • Coq

  • Referenced in 1807 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 2876 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • jETI

  • Referenced in 15 articles [sw00471]
  • We present jETI, a redesign of the Electronic...
  • Mathematica

  • Referenced in 5957 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12309 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • R

  • Referenced in 8601 articles [sw00771]
  • R is a language and environment for statistical...
  • SageMath

  • Referenced in 1675 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • SINGULAR

  • Referenced in 1408 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • TimeNET

  • Referenced in 29 articles [sw00965]
  • This paper describes TimeNET (Timed Net Evaluation Tool...