• TENSOR

  • Referenced in 32 articles [sw18284]
  • involving compressible flow, large displacements, and free transitions of material between the elastic, cracked, plastic...
  • GraphLog

  • Referenced in 32 articles [sw20098]
  • stratified linear Datalog, first order logic with transitive closure, and non-deterministic logarithmic space (assuming...
  • Rcmdr

  • Referenced in 31 articles [sw07952]
  • Commander has the potential for easing the transition to writing R commands, at least...
  • mCRL

  • Referenced in 31 articles [sw29626]
  • LPOs. The instantiator generates a labelled transition system (LTS) from an LPO (under the condition...
  • TESTAS

  • Referenced in 19 articles [sw00957]
  • bounds on order of local testability of transition graph and order of local testability ... transition semigroup are also found. For given k, the k-testability of transition graph...
  • LTSmin

  • Referenced in 21 articles [sw07214]
  • toolset for model checking and manipulating labelled transition systems. LTSmin already connects a sizeable number ... tools benefit from PINS2PINS optimizations, like local transition caching (which speeds up slow state space...
  • etm

  • Referenced in 21 articles [sw11211]
  • package etm: Empirical Transition Matrix. Matrix of transition probabilities for any time-inhomogeneous multistate model...
  • APMC

  • Referenced in 29 articles [sw11483]
  • probabilistic systems. However, the representation of the transition matrix may be expensive for very large...
  • OFMC

  • Referenced in 28 articles [sw09466]
  • exploring, in a demand-driven way, the transition system resulting from an IF specification. OFMC...
  • nuXmv

  • Referenced in 28 articles [sw18526]
  • checker for finite- and infinite-state synchronous transition systems. nuXmv is the evolution...
  • Fuzzydl

  • Referenced in 27 articles [sw11709]
  • with concrete fuzzy concepts (ALC augmented with transitive roles, a role hierarchy, inverse, reflexive, symmetric...
  • Flow*

  • Referenced in 27 articles [sw20162]
  • approaches for handling mode invariants and discrete transitions. Flow* supports a wide variety of optimizations...
  • propy

  • Referenced in 27 articles [sw22402]
  • coupling number, quasi-sequence-order descriptors, composition, transition and distribution of various structural and physicochemical...
  • Maria

  • Referenced in 19 articles [sw04127]
  • level Petri nets and labelled transition systems. Translator programs allow Maria to analyse transition systems...
  • Romeo

  • Referenced in 26 articles [sw00812]
  • Scheduling-TPNs) for which the valuations of transitions may be stopped and resumed, thus allowing...
  • LoLA

  • Referenced in 26 articles [sw04381]
  • standard properties (liveness, reversibility, boundedness, reachability, dead transitions, deadlocks, home states) as well as satisfiability...
  • GNA

  • Referenced in 26 articles [sw35974]
  • information is sufficient to generate a state transition graph that describes the qualitative dynamics...
  • CosmoTransitions

  • Referenced in 18 articles [sw20847]
  • CosmoTransitions: computing cosmological phase transition temperatures and bubble profiles with multiple fields. I present ... CosmoTransitions) for analyzing finite-temperature cosmological phase transitions driven by single or multiple scalar fields...
  • Mcmt

  • Referenced in 24 articles [sw11911]
  • arrays. Sets of states and transitions of a system are described by quantified first-order...
  • ReaxFF

  • Referenced in 23 articles [sw28391]
  • have difficulties treating certain elements, such as transition metals, the bond-order based reactive force...