• Alcoa

  • Referenced in 27 articles [sw09481]
  • lightweight formal method in which subtle properties of behaviour can be investigated. Alcoa’s input ... involves complex relational structure. State and behavioural properties are described declaratively, by conjoining constraints. This...
  • seL4

  • Referenced in 82 articles [sw15222]
  • specification of kernel behaviour. This encompasses traditional design and implementation safety properties such...
  • TINA

  • Referenced in 44 articles [sw03280]
  • views of the behaviour of nets, preserving certain classes of properties of their state spaces ... provide a finite symbolic representation of their behaviour in terms of state classes...
  • CVPP

  • Referenced in 7 articles [sw00179]
  • compositional verification of control-flow safety properties for programs with procedures. The compositional verification principle ... between program structure and behaviour. While behavioural properties are more abstract and convenient for specification ... contains the means to characterise a given behavioural formula by a set of structural formulae...
  • evt

  • Referenced in 7 articles [sw09805]
  • satisfy their correctness requirements formulated as behavioural properties in a modal logic with recursion...
  • SHAZAM

  • Referenced in 32 articles [sw04924]
  • economic behaviour to Monte Carlo simulation studies for assessing the statistical properties of test statistics...
  • ExSpect

  • Referenced in 11 articles [sw04390]
  • analysed for structural correctness properties, and their behaviour can be observed through simulation, either step...
  • Charlie

  • Referenced in 4 articles [sw12881]
  • siphon/trap property) to determine structural and behavioural properties of place/transition Petri nets, complemented by explicit...
  • Romeo

  • Referenced in 26 articles [sw00812]
  • properties. It performs translations from TPNs to Timed Automata (TAs) that preserve the behavioural semantics...
  • BacSim

  • Referenced in 21 articles [sw17261]
  • behaviour of bacteria. The potential of this approach is in relating the properties of microscopic...
  • PRISM-games

  • Referenced in 18 articles [sw12934]
  • behaviour. Models are described in a probabilistic extension of the Reactive Modules language and properties...
  • MI-Sim

  • Referenced in 1 article [sw17108]
  • mechanistic approaches to describe the dynamic behaviour and properties of the system through sets ... between the system components and their intrinsic properties. We have developed the MI-Sim software ... rapid assessment of their dynamical and behavioural properties...
  • HybridILPMiner

  • Referenced in 1 article [sw25956]
  • discovery algorithms, both w.r.t. structural and behavioural properties of the discovered process models. In this ... cope with the presence of infrequent, exceptional behaviour. We have extensively evaluated the technique using...
  • DRBD

  • Referenced in 1 article [sw37912]
  • analyse and verify dynamic system behavioural properties. Our case study and experimental results show that...
  • OPTIMA-S

  • Referenced in 3 articles [sw04258]
  • optimizer is based on a behaviour model simulating structural properties. Various approximation schemes are available ... dimensional body is performed. Finally an adaptive behaviour model for optimization of structures exposing nonlinear...
  • YASM

  • Referenced in 12 articles [sw09470]
  • their analysis towards proving that a (safety) property of interest holds (verification). On the other ... above approach seems unreasonable: why introduce spurious behaviour and make it more difficult to find ... would just want to prove that the property is false (refutation). No witness for that...
  • JMatPro

  • Referenced in 1 article [sw32158]
  • which calculates a wide range of materials properties for alloys and is particularly aimed ... Stable and metastable phase equilibria; Solidification behaviour and properties; Mechanical properties; Thermo-physical and physical...
  • NMRDPP

  • Referenced in 4 articles [sw10437]
  • planning, where many desirable behaviours are more naturally expressed as properties of execution sequences rather...
  • DisCo

  • Referenced in 7 articles [sw10393]
  • collective behaviour of objects and provides a refinement mechanism that preserves safety properties. The toolset...