
FSM
 Referenced in 4 articles
[sw26448]
 FSM Library FiniteState 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 FiniteState 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 highperformance theorem prover being...

ABAQUS/Standard
 Referenced in 183 articles
[sw07161]
 Abaqus/Standard employs solution technology ideal for static and...

UMDES
 Referenced in 348 articles
[sw09523]
 UMDES Software Library: UMDESLIB is a library...

SOSEMANUK
 Referenced in 15 articles
[sw09724]
 A bytebased guess and determine attack on...

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

PLingua
 Referenced in 25 articles
[sw27718]
 PLingua is a programming language for Membrane...

mutlearn
 Referenced in 1 article
[sw34636]
 mutlearn: This project contains the implementation of...