Sistema para Síntese Lógica Sequencial e Verificação Formal
