Browsing by subject Formal verification

Jump to: 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

or enter first few letters:  

Showing results 1 to 20 of 31.  next >
Issue DateTitleAuthor(s)TypeAccess
2010Abordagem sistemática para o controlo seguro de sistemas aeroespaciaisBorges, Paulo André Mendes; Machado, José; Ferreira, João Amaro Oliveira, et al.Conference paperOpen access
2012An approach to model checking Ada programsFaria, José Miguel; Martins, J.; Pinto, Jorge SousaConference paperOpen access
2013Automated theorem proving for the systematic analysis of an infusion pumpHarrison, Michael douglas; Masci, P.; Campos, José C., et al.ArticleOpen access
2014CAOVerif: an open-source deductive verification platform for cryptographic software implementationsAlmeida, José Bacelar; Barbosa, Manuel; Filliâtre, Jean-Christophe, et al.ArticleOpen access
2010A certifying compiler for zero-knowledge proofs of knowledge based on sigma-protocolsAlmeida, José Bacelar; Bangerter, Endre; Barbosa, Manuel, et al.Conference paperOpen access
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.ArticleOpen access
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 RochaMaster thesis Open access
May-2021A deductive reasoning approach for database applications using verification conditionsAlam, Imran; Halder, Raju; Pinto, Jorge SousaArticleRestricted access (UMinho)
2017Demonstrating that medical devices satisfy user related safety requirementsHarrison, Michael douglas; Masci, Paolo; Campos, José C., et al.Conference paperOpen access
2014Development of dependable controllers in the context of machines designMachado, José Mendes; Campos, J. CreissacConference paperOpen access
2013Experimenting with predicate abstractionMiraldo, Victor Cacciari; Frade, M. J.; Lourenço, Cláudio, et al.AbstractOpen access
2010A formal approach for safe controllers analysisBorges, Paulo; Machado, José Mendes; Seabra, Eurico, et al.Conference paperOpen access
Oct-2017Formal verification considering a systematic modeling approach for function blocksMachado, José; Galvão, Joel Maurício Rocha; Fernandes, AlexandreArticleRestricted access (Author)
Apr-2016Formal verification of a space system's user Interface with the IVY workbenchCampos, José C.; Sousa, Manuel; Alves, Miriam C. Bergue, et al.ArticleOpen access
2019Formal verification of interactive computing systems: Opportunities and challengesCampos, José C.; Harrison, Michael douglasConference paperOpen access
Sep-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.ArticleRestricted access (UMinho)
5-Apr-2022Formalization of deep learning techniques with the Why3 proof platformSousa, Márcio Alexandre MotaMaster thesis Open access
1997Formally verifying interactive systems : a reviewCampos, J. Creissac; Harrison, M. D.Conference paperOpen access
2019A generator of user interface prototypes for the IVY workbenchAraujo, Joao Miguel; Couto, Rui; Campos, José C.Conference paperOpen access
2004Model of mechanism behavior for verification of PLC programsMachado, José Mendes; Denis, Bruno; Lesage, Jean-Jacques, et al.Conference paperOpen access