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.

Setting up AutomataLib

• List of AutomataLib Artifacts
• Using Development Versions

Design Decisions

• Fat Interfaces

Central Concepts

• State and Transition Properties

Important Use Cases

• Alphabets
• Visualization with GraphVIZ DOT

For Contributors

• Branching Model
• Performing an AutomataLib Release