Automata theory is a fundamental part of Computer Science that was intensively studied during the 19

The scope of the present project is the verification of properties of safety-critical software. Our