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 1-20 de um total de 34 resultados.  próximo >
DataTítuloAutor(es)TipoAcesso
2010Abordagem sistemática para o controlo seguro de sistemas aeroespaciaisBorges, Paulo André Mendes; Machado, José; Ferreira, João Amaro Oliveira, et al.Artigo em ata de conferênciaAcesso aberto
2012An approach to model checking Ada programsFaria, José Miguel; Martins, J.; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2013Automated theorem proving for the systematic analysis of an infusion pumpHarrison, Michael douglas; Masci, P.; Campos, José C., et al.ArtigoAcesso aberto
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
Mostrar 1-20 de um total de 34 resultados.  próximo >