Principles and Methods to Verify OCaml Programs

Informations projet

Cameleer

N° de convention de subvention: 897873

DOI

10.3030/897873

Projet clôturé

Date de signature de la CE 22 Avril 2020

Date de début 1 Juin 2020

Date de fin 31 Mai 2022

Financé au titre de

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coût total

€ 147 815,04

Contribution de l’UE

€ 147 815,04

Coordonné par

UNIVERSIDADE NOVA DE LISBOA
Portugal

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (5)

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

Auteurs: Pereira, Mário; Ravara, António
Publié dans: Numéro 1, 2021
Éditeur: Journées Francophones des Languages Applicatifs

Cameleer: A Deductive Verification Tool for OCaml

Auteurs: Mário Pereira António Ravara
Publié dans: International Conference on Computer Aided Verification, 2021
Éditeur: Springer
DOI: 10.1007/978-3-030-81688-9_31

Deductive Verification of Realistic OCaml Code

Auteurs: Carlos Pinto Mário Pereira Simão Melo de Sousa
Publié dans: 2021
Éditeur: OCaml Workshop

Cameleer: a Deductive Verification Tool for OCaml Programs

Auteurs: Mário Pereira António Ravara
Publié dans: 2021
Éditeur: ML Family Workshop

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

Auteurs: Tiago Soares Mário Pereira
Publié dans: 2021
Éditeur: Simpósio de Informática