Automata and formal languages are omnipresent in Computer Science. In spite of their relatively…

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