• SafeDpi

  • Referenced in 13 articles [sw01989]
  • show that a natural contextually defined behavioural equivalence can be characterised coinductively, using bisimulations based...
  • Workcraft

  • Referenced in 5 articles [sw01021]
  • Petri Net preserving behavioural equivalence. Once the equivalent Petri Net is obtained, existing theoretical...
  • Concurrency Workbench

  • Referenced in 12 articles [sw14749]
  • particular, the CWB allows for various equivalence, preorder and model checking using a variety ... possible to: define behaviours given either in an extended version of CCS or in SCCS ... perform various analyses on these behaviours, such as analysing the state space of a given ... process, or checking various semantic equivalences and preorders; define propositions in a powerful modal logic...
  • nuSpectral

  • Referenced in 5 articles [sw26228]
  • infinity as well as estimator behaviour, and show the equivalence to the discrete Fourier transform...
  • VICONOPT

  • Referenced in 19 articles [sw10341]
  • sectional geometry based on a substitution of equivalent orthotropic plates for laminated plates. Optimization ... blade-stiffened panels. The buckling and postbuckling behaviour of the two panels, with initial buckling...
  • HECTOR

  • Referenced in 2 articles [sw13320]
  • knowledge, Hector is the first fully-automated equivalence checker for higher-order, call-by-value ... precisely capture program behaviour. These automata are then checked for language equivalence, and if they...
  • CAESAR

  • Referenced in 8 articles [sw29138]
  • graph, state space, etc.) corresponding to the behaviour of this specification. caesar itself does ... generated graph, including model checking, equivalence checking, and visual checking. Taking as input filename.lotos, which...
  • IDENT

  • Referenced in 3 articles [sw30329]
  • IDENT: Package for identification in behavioural setting. The IDENT package solves identification problems with ... consistent with the model. The problem is equivalent to and is solved as a mosaic...
  • NMRDPP

  • Referenced in 4 articles [sw10437]
  • decision-theoretic planning, where many desirable behaviours are more naturally expressed as properties of execution ... automatically translate the NMRDP into an equivalent MDP which is solved using efficient MDP solution...
  • DYNROT

  • Referenced in 2 articles [sw02656]
  • perform a complete study of the dynamic behaviour of rotors. Although initially designed to solve ... computation or to compute an equivalent viscous damping in those cases where hysteretic damping cannot...
  • HARMRAD

  • Referenced in 4 articles [sw18313]
  • opacity can significantly affect flow structure and behaviour. We describe a numerical scheme, tests ... beamed polar region, with super-Eddington isotropic equivalent luminosities. Such simulations with HARMRAD can enlighten...
  • L1PMA

  • Referenced in 2 articles [sw21492]
  • first divided differences of the approximation or equivalently k monotonic sections, alternately increasing and decreasing ... that have substantial differences and showed quadratic behaviour in n. Some numerical results demonstrate...
  • ANSYS

  • Referenced in 662 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • CoCoA

  • Referenced in 631 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • 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...
  • gfun

  • Referenced in 133 articles [sw00344]
  • The gfun package provides tools for determining and...
  • Gmsh

  • Referenced in 602 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • Macaulay2

  • Referenced in 1692 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Maple

  • Referenced in 5124 articles [sw00545]
  • The result of over 30 years of cutting...