Principles and Methods to Verify OCaml Programs

Información del proyecto

Cameleer

Identificador del acuerdo de subvención: 897873

DOI

10.3030/897873

Proyecto cerrado

Fecha de la firma de la CE 22 Abril 2020

Fecha de inicio 1 Junio 2020

Fecha de finalización 31 Mayo 2022

Financiado con arreglo a

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coste total

€ 147 815,04

Aportación de la UE

€ 147 815,04

Coordinado por

UNIVERSIDADE NOVA DE LISBOA
Portugal

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Conference proceedings (5)

Cameleer: a Deductive Verification Tool for OCaml (extended version)

Autores: Pereira, Mário; Ravara, António
Publicado en: Edición 1, 2021
Editor: Journées Francophones des Languages Applicatifs

Cameleer: A Deductive Verification Tool for OCaml

Autores: Mário Pereira António Ravara
Publicado en: International Conference on Computer Aided Verification, 2021
Editor: Springer
DOI: 10.1007/978-3-030-81688-9_31

Deductive Verification of Realistic OCaml Code

Autores: Carlos Pinto Mário Pereira Simão Melo de Sousa
Publicado en: 2021
Editor: OCaml Workshop

Cameleer: a Deductive Verification Tool for OCaml Programs

Autores: Mário Pereira António Ravara
Publicado en: 2021
Editor: ML Family Workshop

Verificação de Programas OCaml Imperativos de Ordem Superior, através de Desfuncionalização

Autores: Tiago Soares Mário Pereira
Publicado en: 2021
Editor: Simpósio de Informática