Stefan Ratschan
where else to find them
what they talk about
where they keep going back
- VMCAI2 editions2022–2026
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Input-based Three-Valued Abstraction Refinement | VMCAI 2026 | 2026-01-12 |
A new three-valued abstraction refinement framework implements input-based splitting and a simulator-like abstract state construction in the open-source tool… | ||
| Fast Three-Valued Abstract Bit-Vector Arithmetic | VMCAI 2022 | 2022-01-16 |
The work gives polynomial-time algorithms that compute the best three-valued abstract result for bit-vector addition and multiplication: addition in linear… | ||
| nothing matches | ||