Principles and Methods to Verify OCaml Programs

Project Information

Cameleer

Grant agreement ID: 897873

DOI

10.3030/897873

Project closed

EC signature date 22 April 2020

Start date 1 June 2020

End date 31 May 2022

Funded under

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Total cost

€ 147 815,04

EU contribution

€ 147 815,04

Coordinated by

UNIVERSIDADE NOVA DE LISBOA
Portugal

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (5)

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

Author(s): Pereira, Mário; Ravara, António
Published in: Issue 1, 2021
Publisher: Journées Francophones des Languages Applicatifs

Cameleer: A Deductive Verification Tool for OCaml

Author(s): Mário Pereira António Ravara
Published in: International Conference on Computer Aided Verification, 2021
Publisher: Springer
DOI: 10.1007/978-3-030-81688-9_31

Deductive Verification of Realistic OCaml Code

Author(s): Carlos Pinto Mário Pereira Simão Melo de Sousa
Published in: 2021
Publisher: OCaml Workshop

Cameleer: a Deductive Verification Tool for OCaml Programs

Author(s): Mário Pereira António Ravara
Published in: 2021
Publisher: ML Family Workshop

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

Author(s): Tiago Soares Mário Pereira
Published in: 2021
Publisher: Simpósio de Informática