https://github.com/learnlib/raxml

https://github.com/learnlib/raxml

Last synced: 4 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/learnlib/raxml
• Owner: LearnLib
• License: other
• Created: 2014-09-22T08:07:09.000Z (over 10 years ago)
• Default Branch: master
• Last Pushed: 2015-04-29T15:03:50.000Z (almost 10 years ago)
• Last Synced: 2024-04-16T18:20:38.679Z (10 months ago)
• Language: Java
• Size: 520 KB
• Stars: 0
• Watchers: 9
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: license.txt

Awesome Lists containing this project

README

        

raxml: benchmarks for automata learning

==============================================

This repository contains benchmarks for automata learning algorithms.

The benchmarks are register automaton models and come from a variety

of sources and application domains. They range from explanatory

examples that have been  discussed in the literature, to manually

written specifications of data structures,  to models that were

inferred from actual systems (e.g., the Biometric Passport and the SIP

protocol). For further documentation on the benchmarks please checkout

the papers in the *./papers* folder.

The benchmarks distributed under the terms of the BSD license (see

license.txt).

The Java parser for the benchmarks is distributed under LGPLv3 (see

http://www.gnu.de/documents/lgpl.en.html).

How To Use

==============================================

This repository contains a set of benchmark register automata in an xml format.

The corresponding schema is provided as well. A description of the intended

semantics of the automaton format will hopefully be added in the future.

Until then, the repository provides a Java implementation that can parse

the provided benchmarks and execute data words on these automata. 

* The *./benchmarks* folder contains benchmarks, scripts that create xml files

  for data structures of varying size, and the xsd schema.

* The folder *./rajava* contains a Java parser for the benchmarks.

* The folder *./papers* contains additonal documentation.

How To Use

==============================================

There is some documentation available at

http://www.mbsd.cs.ru.nl/automata

for the different benchmarks.