resumo
- The Why3 files containing the above modules are available from the repository https://github.com/jspdium/dlKeY, which also includes proof session folders and html proof summaries.
A verified VCGen based on dynamic logic: An exercise in meta-verification with Why3
- Visão geral
- Pesquisas
- Identidade
- Ver Todos
Visão geral
autores
data de publicação
- janeiro 1, 2023