antonio rivara
where else to find them
no profile links on file
what they talk about
their talks carry no tags yet
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- António Ravaraonce
- Mário Pereiraonce
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Cameleer: a Deductive Verification Tool for OCaml | ML 2021 | 2021-08-26 |
Cameleer takes OCaml source annotated with Gospel specs, translates the AST to Why3 and emits VCs solved by SMTs (demo uses Alt-Ergo); it targets core OCaml… | ||
| nothing matches | ||