Alessandro Cimatti
where else to find them
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
- Alberto Griggioonce
- Gianluca Redondionce
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Towards the verification of a generic interlocking logic: Dafny meets parameter... | Dafny 2024 | 2024-01-14 |
A generic interlocking logic is encoded in Dafny alongside the tool’s C/Python output, and a parameterized model checker is used to synthesize inductive… | ||
| nothing matches | ||