https://github.com/tudo-aqua/rage

RAGe: A Generator for Register Automata
https://github.com/tudo-aqua/rage

Last synced: about 2 months ago
JSON representation

RAGe: A Generator for Register Automata

• Host: GitHub
• URL: https://github.com/tudo-aqua/rage
• Owner: tudo-aqua
• Created: 2023-10-11T12:47:14.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2024-04-25T02:49:05.000Z (9 months ago)
• Last Synced: 2024-04-25T03:40:53.550Z (9 months ago)
• Language: Kotlin
• Size: 173 KB
• Stars: 0
• Watchers: 3
• Forks: 1
• Open Issues: 7
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.Apache-2.0
  • Citation: CITATION.cff

Awesome Lists containing this project

README

        


# RAGe: A Generator for Register Automata

RAGe is a tool for semi-random generation of register automata[^1]. It provides two strategies for

generation:

1. Random generation of a DFA using the Champarnaud-Paranthoën algorithm[^2] and subsequent

   transformation into an RA

2. Manual definition using a Kotlin DSL

Additionally, three combination mechanisms for automata are included:

1. Concatenation

2. Random replacement of transitions with sub-RAs

3. Splitting one location and introducing an RA to obscure the discriminating suffixes

### Using

Pre-built installers and distributions (using `jpackage`) are available and expose a command-line

interface to some preconfigured generators. Alternatively, RAGe can be used as a library via Maven

Central and custom generation campaigns can be configured.

[^1]:

    [Cassel, S., Howar, F., Jönsson, B., Merten, M. & Steffen, B. (2015). A succinct canonical Register Automaton model. Journal of Logical and Algebraic Methods in Programming, 84(1), 54–66.](https://doi.org/10.1016/j.jlamp.2014.07.004)

[^2]:

    [Champarnaud, J.-M., & Paranthoën, T. (2005). Random generation of DFAs. Theoretical Computer Science, 330(2), 221–235.](https://doi.org/10.1016/j.tcs.2004.03.072)