Login / Signup
Stanimir Bozhilov
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Active Rules
Abstract Interpretation
Termination Analysis
Top Venues
TACAS (3)
</>
Publications
</>
Simmo Saan
,
Julian Erhard
,
Michael Schwarz
,
Stanimir Bozhilov
,
Karoliine Holter
,
Sarah Tilscher
,
Vesal Vojdani
,
Helmut Seidl
Goblint: Abstract Interpretation for Memory Safety and Termination - (Competition Contribution).
TACAS (3)
(2024)
Simmo Saan
,
Julian Erhard
,
Michael Schwarz
,
Stanimir Bozhilov
,
Karoliine Holter
,
Sarah Tilscher
,
Vesal Vojdani
,
Helmut Seidl
Goblint Validator: Correctness Witness Validation by Abstract Interpretation - (Competition Contribution).
TACAS (3)
(2024)