Home

Welcome! Here, you'll hopefully find interesting information about AutomataLib. The scope of this Wiki is intended to cover both useful resources such as howtos and cheat sheets to assist in the practical use of AutomataLib, as well as explanatory background information.

Design Decisions

• Fat Interfaces

Central Concepts

• State and Transition Properties

Important Use Cases

• Alphabets
• Visualization with GraphVIZ DOT

For Contributors

• Performing an AutomataLib Release