Percorrer por assunto Software verification
Mostrar 1-5 de um total de 5 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
Mar-2013 | Alloy meets the algebra of programming: a case study | Oliveira, José Nuno Fonseca; Ferreira, Miguel A. | Artigo | Acesso aberto |
13-Nov-2020 | Analysis of message passing software using electrum | Carvalho, Bruno Renato Fernandes | Dissertação de mestrado | Acesso aberto |
19-Dez-2022 | Formalizing ROS2 security configuration with Alloy | Ribeiro, Luís Mário Macedo | Dissertação de mestrado | Acesso aberto |
Ago-2001 | Model checking interactor specifications | Campos, J. Creissac; Harrison, M. D. | Artigo | Acesso aberto |
2015 | Studying verification conditions for imperative programs | Lourenço, Cláudio Filipe Belo Silva; Lamraoui, Si-Mohamed; Nakajima, Shin, et al. | Artigo | Acesso aberto |