• mCRL

  • Referenced in 31 articles [sw29626]
  • fashion. It targets the specification of system behaviour in a process-algebraic style ... LPOs. The instantiator generates a labelled transition system (LTS) from an LPO (under the condition...
  • mCRL2

  • Referenced in 52 articles [sw01496]
  • specify and analyse the behaviour of distributed systems and protocols and is the successor...
  • ABC

  • Referenced in 278 articles [sw10950]
  • typical example of a swarm system. Bees’ swarming around their hive is another example ... optimization algorithm based on the intelligent behaviour of honey bee swarm. In this work...
  • MoDeST

  • Referenced in 32 articles [sw01544]
  • called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming...
  • ASTRA

  • Referenced in 12 articles [sw00052]
  • these states are associated with abnormal system behaviours caused by failures at component level and/or ... events. A Top Event can be any system state considered critical from the risk viewpoint...
  • MSTA

  • Referenced in 7 articles [sw09777]
  • distinguish between required and proscribed behaviour of the system to be and behaviour which ... known whether the system should exhibit. MTS, in contrast with traditional behaviour ... models, support reasoning about the intended system behaviour in the presence of incomplete knowledge ... construction, analysis and elaboration of Modal Transition Systems...
  • SCTL-MUS

  • Referenced in 8 articles [sw02245]
  • show the fundamental aspects of system behaviour, which has been specified through ... specification of the initial architecture of the system formally. Besides, the design decisions are stored...
  • TCOZ

  • Referenced in 8 articles [sw03382]
  • statechart diagrams for visualising the dynamic system behaviour...
  • CONTENT

  • Referenced in 37 articles [sw01058]
  • software package CONTENT. The qualitative behaviour of iterates of a map can be very complicated ... bifurcations. The paper provides details on defining systems and test functions implemented in content ... power of the software by studying the behaviour of an electromechanical device that exhibits ... complicated bifurcation behaviour, the so - called Sommerfeld’s efFect. In this example...
  • seL4

  • Referenced in 85 articles [sw15222]
  • correctness of a complete, general-purpose operating-system kernel. Functional correctness means here that ... high-level abstract specification of kernel behaviour. This encompasses traditional design and implementation safety properties...
  • AKIRA

  • Referenced in 10 articles [sw02968]
  • aspects of the task, hoping that those systems can be further integrated in a general ... populate them with agents manifesting high-level behaviour. The advanced underlying logic represents a general ... web/system development platform to model their behaviour. The system core is made...
  • PRISM-games

  • Referenced in 19 articles [sw12934]
  • strategy synthesis for probabilistic systems with competitive or cooperative behaviour. Models are described...
  • MarCaSPiS

  • Referenced in 5 articles [sw06957]
  • permits describing the dynamic evolution of the system and it is both action- and state ... bounds in the logical characterisation of the behaviours of interest. Moreover, SoSL is a probabilistic ... used for specifying how a system is able to react to an external stimulus. These ... effect of each assumption on the system behaviour. We also have developed ways for model...
  • Alcoa

  • Referenced in 27 articles [sw09481]
  • formal method in which subtle properties of behaviour can be investigated. Alcoa’s input language ... description of systems whose state involves complex relational structure. State and behavioural properties are described...
  • FisPro

  • Referenced in 9 articles [sw16651]
  • this success is the ability of fuzzy systems to incorporate human expert knowledge with ... well as to express the behaviour of the system in an interpretable way for humans...
  • COSTA

  • Referenced in 23 articles [sw00162]
  • interface allows users to try out the system on a set of representative examples ... upload their own bytecode programs. As the behaviour of COSTA can be customized using ... understand the different options implemented in the system and their implications in analysis accuracy ... allowing a fine-grained control over the behaviour of the analyzer. Some of these options...
  • mural

  • Referenced in 9 articles [sw23627]
  • illustrates how to set up the axiom systems for classical predicate calculus ... tool for simulating the behaviour of a specified system without actually implementing it. Chapter...
  • SLICOT

  • Referenced in 83 articles [sw01095]
  • design and analysis of control systems. The basic ideas behind the library are: 1. usefulness ... speed. Benchmarking gives also insight in the behaviour of the method and its implementation...
  • MetaMorph

  • Referenced in 20 articles [sw01575]
  • research literature, an adaptive multi-agent manufacturing system architecture called MetaMorph is presented ... behaviours. The MetaMorph architecture also addresses other specific requirements for next generation manufacturing systems, including...
  • CMRH

  • Referenced in 31 articles [sw02194]
  • Krylov methods for solving linear systems. The main difference between these methods is the generation ... GMRES. Numerical experiments suggest that it has behaviour similar to GMRES...