Principles and Methods to Verify OCaml Programs

Informacje na temat projektu

Cameleer

Identyfikator umowy o grant: 897873

DOI

10.3030/897873

Projekt został zamknięty

Data podpisania przez KE 22 Kwietnia 2020

Data rozpoczęcia 1 Czerwca 2020

Data zakończenia 31 Maja 2022

Finansowanie w ramach

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Koszt całkowity

€ 147 815,04

Wkład UE

€ 147 815,04

Koordynowany przez

UNIVERSIDADE NOVA DE LISBOA
Portugal

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Conference proceedings (5)

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

Autorzy: Pereira, Mário; Ravara, António
Opublikowane w: Numer 1, 2021
Wydawca: Journées Francophones des Languages Applicatifs

Cameleer: A Deductive Verification Tool for OCaml

Autorzy: Mário Pereira António Ravara
Opublikowane w: International Conference on Computer Aided Verification, 2021
Wydawca: Springer
DOI: 10.1007/978-3-030-81688-9_31

Deductive Verification of Realistic OCaml Code

Autorzy: Carlos Pinto Mário Pereira Simão Melo de Sousa
Opublikowane w: 2021
Wydawca: OCaml Workshop

Cameleer: a Deductive Verification Tool for OCaml Programs

Autorzy: Mário Pereira António Ravara
Opublikowane w: 2021
Wydawca: ML Family Workshop

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

Autorzy: Tiago Soares Mário Pereira
Opublikowane w: 2021
Wydawca: Simpósio de Informática