• 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...