Login / Signup
Jan Onderka
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 2
Top Topics
Formal Verification
Arithmetic Operations
Bounded Model Checking
Floating Point
Top Venues
VMCAI
MECO
</>
Publications
</>
Jan Onderka
Formal Verification of Machine-Code Systems by Translation of Simulable Descriptions.
MECO
(2024)
Jan Onderka
,
Stefan Ratschan
Fast Three-Valued Abstract Bit-Vector Arithmetic.
VMCAI
(2022)