Prova automática de satisfatibilidade módulo teoria aplicada ao método B

Déharbe, David Boris PaulTavares, Cláudia Fernanda Oliveira Kiermes2014-12-172008-12-052014-12-172007-07-27TAVARES, Cláudia Fernanda Oliveira Kiermes. Prova automática de satisfatibilidade módulo teoria aplicada ao método B. 2007. 136 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal do Rio Grande do Norte, Natal, 2007.https://repositorio.ufrn.br/jspui/handle/123456789/17984application/pdfAcesso AbertoMétodo BObrigações de provaVerificação formalTeoria dos conjuntosSatisfatibilidade módulo teoria.Prova automática de satisfatibilidade módulo teoria aplicada ao método BmasterThesisCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO