Invention Patent MÉTODO PARA SEGURANÇA DE UM PRIMEIRO PROGRAMA, E, MÍDIA LEGÍVEL POR COMPUTADOR — IPC G06F 11/36. Drawing published by the INPI in the Industrial Property Gazette.
The patent was granted on 06/14/2022 and is in force until 01/28/2034. Until then, no one may make, use or sell the invention in Brazil without the owner's authorisation.
Protection valid until:01/28/2034
Latest action published by the INPI: 06/14/2022. We update with every new RPI gazette, published weekly.
MÉTODO PARA SEGURANÇA DE UM PRIMEIRO PROGRAMA, E,MÍDIA LEGÍVEL POR COMPUTADORUm método para segurança de um primeiro programa, oprimeiro programa compreendendo um número finito de pontos de programae regras de evolução associadas a pontos de programa e definindo a passagemde um ponto de programa para outro, compreendendo: uma definição de umapluralidade de casos de saída e, quando um segundo programa é usado nadefinição do primeiro programa, para cada caso de saída, definição de umaramificação para um ponto de programa específico do primeiro programa ouuma declaração de impossibilidade de ramificação; e uma definição de umconjunto de propriedades a serem provadas, cada uma associada com um doselementos constitutivos do primeiro programa, dito conjunto de propriedadescompreendendo a impossibilidade de ramificação como uma propriedadeparticular; estabelecimento da prova formal do conjunto de propriedades.
Prosecution history
Publications in the Brazilian Industrial Property Gazette (RPI).
Concessão da patente
#16.1
Prazo de Validade: 20 (vinte) anos contados a partir de 28/01/2014, observadas as condições legais
06/14/2022
RPI 2684
Deferimento
#9.1
05/03/2022
RPI 2678
Exigência preliminar
#6.21
02/27/2020
RPI 2564
Retificação da notificação da fase nacional - PCT
#1.3.1
Retificação do despacho 1.3 publicado na RPI nº 2428, de 18/07/2017, para corrigir o título (item - 54).
11/12/2019
RPI 2549
Notificação de acesso ao patrimônio genético
#6.6.1
11/13/2018
RPI 2497
Notificação de entrada na fase nacional - PCT
#1.3
Publicação automática da admissibilidade da fase nacional depositado via PCT . Tratado de cooperação em matéria de Patentes, conforme Instrução Normativa nº 02, de 06/06/2017 publicada na RPI nº 2422, de 06/06/2017.
