Browsing by subject Program 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 14 of 14.
Issue DateTitleAuthor(s)TypeAccess
2010Assertion-based slicing and slice graphsBarros, José Bernardo; Cruz, Daniela da; Henriques, Pedro Rangel, et al.Conference paperOpen access
2014CAOVerif: an open-source deductive verification platform for cryptographic software implementationsAlmeida, José Bacelar; Barbosa, Manuel; Filliâtre, Jean-Christophe, et al.ArticleOpen access
2008A comparative study of verification condition generatorsFialho, Diogo; Pinto, Jorge SousaOtherOpen access
2010Deductive verification of cryptographic softwareAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa, et al.ArticleOpen access
Jan-2014Experimenting with Predicate AbstractionMiraldo, Victor CacciariReportOpen access
2011Formal verification of side channel countermeasures using self-compositionAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa, et al.ArticleOpen access
2013Formal verification of side-channel countermeasures using self-compositionAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa, et al.ArticleOpen access
8-Jun-2018A generalized approach to verification condition generationBelo Lourenco, Claudio; Frade, M. J.; Nakajima, Shin, et al.Conference paperRestricted access (UMinho)
2006Lissom, a source level proof carrying code platformGomes, João; Martins, Daniel; Sousa, Simão Melo de, et al.PosterOpen access
2013SPARK-BMC: checking SPARK code for bugsLourenço, Cláudio; Miraldo, Victor Cacciari; Frade, M. J., et al.AbstractOpen access
2012Verification conditions for single-assignment programsCruz, Daniela da; Frade, M. J.; Pinto, Jorge SousaConference paperRestricted access (UMinho)
2011Verification conditions for source-level imperative programsFrade, M. J.; Pinto, Jorge SousaArticleOpen access
2009Verifying cryptographic software correctness with respect to reference implementationsAlmeida, José Bacelar; Barbosa, Manuel; Pinto, Jorge Sousa, et al.Conference paperOpen access
2011A visual inspector for Boogie programsCoelho, Márcio; Cruz, Daniela da; Henriques, Pedro Rangel, et al.Conference paperOpen access
Showing results 1 to 14 of 14.