Showing cs.PLShow all
2 papers · 1 filter
cs.PL2019
Análise de Segurança Baseada em Roles para Fábricas de Software
Miguel Loureiro, Luísa Lourenço, Lúcio Ferrão +1
Most software factories contain applications with sensitive information that needs to be protected against breaches of confidentiality and integrity, which can have serious consequ…
cs.PL2019
CISE3: Verificação de aplicações com consistência fraca em Why3
Filipe Meirim, Mário Pereira, Carla Ferreira
In this article we present a tool for the verification of programs built on top replicated databases. The tool evaluates a sequential specification and deduces which operations nee…