• FSM

  • Referenced in 4 articles [sw26448]
  • FSM Library Finite-State Machine Library: The AT&T FSM library...
  • STAMINA

  • Referenced in 3 articles [sw07653]
  • merging of two states of an FSM and the representation ... FSM as a list of transitions. Conditions guaranteeing the identical operation and deterministic behavior ... transformed FSM obtained by merging two states are given. The cases when wait states...
  • fsm2

  • Referenced in 4 articles [sw33650]
  • different commands. (fsm2) is based on FSM(<)2.0(>) - an efficient C++ template library to create...
  • MuACOsm

  • Referenced in 2 articles [sw17580]
  • method of learning Finite-State Machines (FSM) based on Ant Colony Optimization ... number of states in the target FSM. The goal is to maximize the given fitness...
  • SMCube

  • Referenced in 0 articles [sw04930]
  • generation of discrete time finite state machines (FSM) The idea driving the development of SMCube...
  • Lutess

  • Referenced in 7 articles [sw01252]
  • Lutess: A testing environment for synchronous software We...
  • STCT

  • Referenced in 9 articles [sw02293]
  • STCT: An efficient algorithm for supervisory control design...
  • CUDA

  • Referenced in 1185 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • ABAQUS

  • Referenced in 1452 articles [sw04215]
  • The Abaqus Unified FEA product suite offers powerful...
  • Yices

  • Referenced in 138 articles [sw04436]
  • Yices is an efficient SMT solver that decides...
  • z3

  • Referenced in 496 articles [sw04887]
  • Z3 is a high-performance theorem prover being...
  • UMDES

  • Referenced in 348 articles [sw09523]
  • UMDES Software Library: UMDES-LIB is a library...
  • LearnLib

  • Referenced in 16 articles [sw09913]
  • LearnLib: a framework for extrapolating behavioral models. In...
  • VICONOPT

  • Referenced in 19 articles [sw10341]
  • Optimisation of stiffened panels using finite strip models...
  • SNOW

  • Referenced in 28 articles [sw19554]
  • A new version of the stream cipher SNOW...
  • GitHub

  • Referenced in 1503 articles [sw23170]
  • GitHub (originally known as Logical Awesome LLC)[3...
  • P-Lingua

  • Referenced in 25 articles [sw27718]
  • P-Lingua is a programming language for Membrane...
  • mut-learn

  • Referenced in 1 article [sw34636]
  • mut-learn: This project contains the implementation of...