Results 1 to 20 of 20
Sort by:

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