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 12-31 de um total de 34 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
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
2016Modelling information resources and their salience in medical device designHarrison, Michael douglas; Campos, José C.; Rukšenas, Rimvydas, et al.Artigo em ata de conferênciaAcesso aberto
21-Dez-2022A new models editor for the IVY WorkbenchMendes, Rui Filipe MoreiraDissertação de mestrado Acesso aberto
2013Obtaining plant models for formal verification tasks from 3D CAD models: which is the best approach?Lobo, Edgar; Fertuzinhos, João; Mendonca, Joao Pedro, et al.Artigo em ata de conferênciaAcesso restrito UMinho
2009Pattern-based analysis of automated production systemsCampos, J. Creissac; Machado, JoséArtigo em ata de conferênciaAcesso aberto
Mai-2011Safe controllers design for industrial automation systemsMachado, José Manuel; Seabra, Eurico; Campos, J. Creissac, et al.ArtigoAcesso restrito UMinho
2008Simulation and formal verification of industrial systems controllersMachado, José Mendes; Seabra, Eurico; Campos, J. Creissac, et al.Artigo em ata de conferênciaAcesso aberto
2013Using abstract interpretation to produce dependable aerospace control softwareSilva, Rovedy Aparecida Busquim e; Arai, Nanci Naomi; Burgareli, Luciana Akemi, et al.Artigo em ata de conferênciaAcesso aberto
2012Using term rewriting to solve Bit-Vector arithmetic problems (Poster Presentation)Abal, Iago; Cunha, Alcino; Hurd, Joe, et al.Resumo em ata de conferência Acesso aberto
Mostrar 12-31 de um total de 34 resultados. < anterior   próximo >