Jesper Amilon

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 3

Top Topics

Computer Programs

Computation Tree Logic

Top Venues

Publications

Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, Philipp Rümmer
Automatic Program Instrumentation for Automatic Verification. CAV (3) (2023)
Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, Philipp Rümmer
Automatic Program Instrumentation for Automatic Verification (Extended Technical Report). CoRR (2023)
Jesper Amilon, Christian Lidström, Dilian Gurov
Deductive Verification Based Abstraction for Software Model Checking. ISoLA (1) (2022)