Percorrer por assunto Formal verification

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

ou inserir as letras iniciais:  

Mostrar 4-23 de um total de 34 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
2014CAOVerif: an open-source deductive verification platform for cryptographic software implementationsAlmeida, José Bacelar; Barbosa, Manuel; Filliâtre, Jean-Christophe, et al.ArtigoAcesso aberto
2010A certifying compiler for zero-knowledge proofs of knowledge based on sigma-protocolsAlmeida, José Bacelar; Bangerter, Endre; Barbosa, Manuel, et al.Artigo em ata de conferênciaAcesso aberto
Jun-2020A component-based framework for certification of components in a cloud of HPC servicesde Oliveira Dantas, Allberson Bruno; de Carvalho Junior, Francisco Heron; Barbosa, L. S.ArtigoAcesso aberto
2015Conversão sistemática do comportamento definido nos blocos funcionais da norma IEC 61 131-3 para autómatos finitos temporizadosGalvão, Joel Maurício RochaDissertação de mestrado Acesso aberto
Mai-2021A deductive reasoning approach for database applications using verification conditionsAlam, Imran; Halder, Raju; Pinto, Jorge SousaArtigoAcesso restrito UMinho
2017Demonstrating that medical devices satisfy user related safety requirementsHarrison, Michael douglas; Masci, Paolo; Campos, José C., et al.Artigo em ata de conferênciaAcesso aberto
2014Development of dependable controllers in the context of machines designMachado, José Mendes; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2013Experimenting with predicate abstractionMiraldo, Victor Cacciari; Frade, M. J.; Lourenço, Cláudio, et al.Resumo em ata de conferência Acesso aberto
2010A formal approach for safe controllers analysisBorges, Paulo; Machado, José Mendes; Seabra, Eurico, et al.Artigo em ata de conferênciaAcesso aberto
1-Fev-2022A formal treatment of the role of verified compilers in secure computationAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al.ArtigoAcesso aberto
Out-2017Formal verification considering a systematic modeling approach for function blocksMachado, José; Galvão, Joel Maurício Rocha; Fernandes, AlexandreArtigoAcesso restrito autor
Abr-2016Formal verification of a space system's user Interface with the IVY workbenchCampos, José C.; Sousa, Manuel; Alves, Miriam C. Bergue, et al.ArtigoAcesso aberto
2019Formal verification of interactive computing systems: Opportunities and challengesCampos, José C.; Harrison, Michael douglasArtigo em ata de conferênciaAcesso aberto
Set-2016Formal verification with Frama-C: a case study in the space software domainSilva, Rovedy Aparecida Busquim e; Arai, Nanci Naomi; Burgareli, Luciana Akemi, et al.ArtigoAcesso restrito UMinho
5-Abr-2022Formalization of deep learning techniques with the Why3 proof platformSousa, Márcio Alexandre MotaDissertação de mestrado Acesso aberto
1997Formally verifying interactive systems : a reviewCampos, J. Creissac; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
2019A generator of user interface prototypes for the IVY workbenchAraujo, Joao Miguel; Couto, Rui; Campos, José C.Artigo em ata de conferênciaAcesso aberto
Nov-2021Machine-checked ZKP for NP relations: formally verified security proofs and implementations of MPC-in-the-headAlmeida, José Bacelar; Barbosa, Manuel; Correia, Manuel L., et al.Artigo em ata de conferênciaAcesso aberto
2004Model of mechanism behavior for verification of PLC programsMachado, José Mendes; Denis, Bruno; Lesage, Jean-Jacques, et al.Artigo em ata de conferênciaAcesso aberto
2010Model-checking temporal properties of real-time HTL programsCarvalho, André Ribeiro de; Carvalho, Joel; Pinto, Jorge Sousa, et al.Artigo em ata de conferênciaAcesso aberto
Mostrar 4-23 de um total de 34 resultados. < anterior   próximo >