Dirk Beyer
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
never shared a talk
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Find, Use, and Conserve Tools for Formal Methods | PLDI 2024 Workshop Honoring Andreas Podelski | 2024-06-25 |
Central repository collects YAML metadata for 91 formal-methods tools (59 C verifiers from the last competition), records exact versions with Zenodo DOI… | ||
| Cooperative Verification: Towards Reliable Safety-Critical Systems | FTSCS 2022 | 2022-12-07 |
Field has 76 distinct Java/C verifiers and more than 40 entrants in recent competitions, so the proposal is to treat verification engines as composable… | ||
| nothing matches | ||