Enviar aquest missatge de text: Automatic verification methods for finite state systems :