Explore projects
-
Testos / ts-reporter
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalUpdated -
Library for manipulation and classification of communication messages.
Updated -
Lenka Turoňová / countingautomata-analysis
MIT LicenseUpdated -
Testos / plexson
Creative Commons Attribution Non Commercial Share Alike 3.0 UnportedInteractive JSON-scheme generator from multiple JSON instances
Updated -
Lenka Turoňová / Automata-25-01-2019
MIT LicenseUpdated -
Tyrant is an open source tool, that learns from the logs of captured communication (in form of messages) and reproduces the run in form of the so called scenario.
Updated -
Lenka Turoňová / Automata-cadet_bench-29-03-2019
MIT LicenseUpdated -
Lenka Turoňová / Automata-06-02-2019
MIT LicenseUpdated -
Updated
-
Library for abstraction and concretization of stream of messages of certain similarity or class.
Updated -
Lenka Turoňová / CountingAutomata-generator
MIT LicenseUpdated -
Lenka Turoňová / Automata-02-02-2019
MIT LicenseUpdated -
Lenka Turoňová / CountingAutomata-matcher
MIT LicenseUpdated -
Piškot / CountingAutomata-matcher
MIT LicenseUpdated -
Lenka Turoňová / Automata-cadet_bench-03-29-2019
MIT LicenseUpdated -
Lenka Turoňová / Automata-05-02
MIT LicenseUpdated -
Lenka Turoňová / Automata-cadet_bench-07-03-2019
MIT LicenseUpdated -
Tomáš Fiedor / forester-resource-bounds
GNU General Public License v3.0 onlyExperimental extension of Forester for Resource Bounds computation.
Updated -
Lenka Turoňová / Automata
MIT LicenseUpdated -
Testos / Logreaper
GNU General Public License v3.0 or laterUpdated