grammarlearning.org
Implementations | grammarlearning.org
https://grammarlearning.org/implementations
Skip to main content. Home of the International Community interested in Grammatical Inference. This page contains an (incomplete) overview of the available implementations of grammar learning algorithms. If you know of more implementations, please do not hesitate to contact the maintainer of this website. In MatLab and Octave. Treba: a command-line tool for weighted finite state automata (PFSA) and Hidden Markov Models (HMMs). 3 methods of moments, including a spectral learning algorithm. The next Intern...
github.com
GitHub - misberner/automatalib: A free, open-source Java library for modeling automata, graphs, and transition systems.
https://github.com/misberner/automatalib
A free, open-source Java library for modeling automata, graphs, and transition systems. Use Git or checkout with SVN using the web URL. Sep 18, 2015. Fixed bug in StateIntAbstraction of Deterministic automata. Failed to load latest commit information. Maven-release-plugin] prepare for next development iteration. Jun 3, 2015. Fixed bug in StateIntAbstraction of Deterministic automata. Sep 18, 2015. Maven-release-plugin] prepare for next development iteration. Jun 3, 2015. Jun 3, 2015. Sep 18, 2015. Java l...
falkhowar.de
Tools | falkhowar.de
http://www.falkhowar.de/tools
PSYCO generates and verifies symbolic behavioral interfaces for software components using a combination of multiple dynamic and static analysis techniques: active automata learning, concolic execution, static code analysis, symbolic search, predicate abstraction, and model-based testing. Link: https:/ github.com/psycopaths/psyco/. Link: https:/ github.com/psycopaths/jdart/. Link: https:/ github.com/psycopaths/jconstraints/. Plugins: https:/ github.com/psycopaths/. Link: http:/ www.learnlib.de/.