I am working on formal specifications expressed as classical finite-state automata with atomic events. I want to test my work on multiple specifications. Do you know of any archive or repository that contains many (preferably real-world) finite-state automata I could use as examples? I don't care about the format they are expressed in, as long as it is machine-readable.
Carlos Diego Nascimento Damasceno
The Automata Wiki from Radboud University (Nijmegen, NL) provides a publicly available set of benchmarks of state machines that model real protocols and embedded systems.
The wiki is available at https://automata.cs.ru.nl/
1 votes
1 thanks
- Badges
- Science topic
- Similar topics
- Automotive Engineering
- Machines
More Sylvain Hallé's questions See All
Similar questions and discussions