Automata4CPS documentation

Welcome to the Automata4CPS documentation. This guide will cover everything you need to know about using, installing, and understanding the Automata4CPS tool.

Contents:

• Automata4CPS installation
• automata4cps package