Principles and Methods to Verify OCaml Programs

Informazioni relative al progetto

Cameleer

ID dell’accordo di sovvenzione: 897873

DOI

10.3030/897873

Progetto chiuso

Data della firma CE 22 Aprile 2020

Data di avvio 1 Giugno 2020

Data di completamento 31 Maggio 2022

Finanziato da

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Costo totale

€ 147 815,04

Contributo UE

€ 147 815,04

Coordinato da

UNIVERSIDADE NOVA DE LISBOA
Portugal

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Conference proceedings (5)

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

Autori: Pereira, Mário; Ravara, António
Pubblicato in: Numero 1, 2021
Editore: Journées Francophones des Languages Applicatifs

Cameleer: A Deductive Verification Tool for OCaml

Autori: Mário Pereira António Ravara
Pubblicato in: International Conference on Computer Aided Verification, 2021
Editore: Springer
DOI: 10.1007/978-3-030-81688-9_31

Deductive Verification of Realistic OCaml Code

Autori: Carlos Pinto Mário Pereira Simão Melo de Sousa
Pubblicato in: 2021
Editore: OCaml Workshop

Cameleer: a Deductive Verification Tool for OCaml Programs

Autori: Mário Pereira António Ravara
Pubblicato in: 2021
Editore: ML Family Workshop

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

Autori: Tiago Soares Mário Pereira
Pubblicato in: 2021
Editore: Simpósio de Informática