Principles and Methods to Verify OCaml Programs

Projektinformationen

Cameleer

ID Finanzhilfevereinbarung: 897873

DOI

10.3030/897873

Projekt abgeschlossen

EK-Unterschriftsdatum 22 April 2020

Startdatum 1 Juni 2020

Enddatum 31 Mai 2022

Finanziert unter

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Gesamtkosten

€ 147 815,04

EU-Beitrag

€ 147 815,04

Koordiniert durch

UNIVERSIDADE NOVA DE LISBOA
Portugal

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Conference proceedings (5)

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

Autoren: Pereira, Mário; Ravara, António
Veröffentlicht in: Ausgabe 1, 2021
Herausgeber: Journées Francophones des Languages Applicatifs

Cameleer: A Deductive Verification Tool for OCaml

Autoren: Mário Pereira António Ravara
Veröffentlicht in: International Conference on Computer Aided Verification, 2021
Herausgeber: Springer
DOI: 10.1007/978-3-030-81688-9_31

Deductive Verification of Realistic OCaml Code

Autoren: Carlos Pinto Mário Pereira Simão Melo de Sousa
Veröffentlicht in: 2021
Herausgeber: OCaml Workshop

Cameleer: a Deductive Verification Tool for OCaml Programs

Autoren: Mário Pereira António Ravara
Veröffentlicht in: 2021
Herausgeber: ML Family Workshop

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

Autoren: Tiago Soares Mário Pereira
Veröffentlicht in: 2021
Herausgeber: Simpósio de Informática