Benoît Boyer
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Claude Marchéonce
- Florian Faissoleonce
- Matteo Manighettionce
all 5 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Verification of Generic VHDL Designs and Their Translation to Rocq | VMCAI 2026 | 2026-01-12 |
Pipeline VHDL designs translate to executable Rocq functions while keeping generics uninstantiated, with automated checks that detect combinatorial loops… | ||
| A Correct-by-Construction Checker for Validation of Railway Data | Dafny 2026 | 2026-01-11 |
A correct-by-construction checker is formally specified and implemented in Why3, extracted to OCaml and linked with non-verified I/O to produce an executable… | ||
| nothing matches | ||