1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2024
A Program Instrumentation Framework for Automatic Verification
Jesper Amilon, Zafer Esen, Dilian Gurov +3
In deductive verification and software model checking, dealing with certain specification language constructs can be problematic when the back-end solver is not sufficiently powerf…
cs.SE2023★ 1 cited
Automatic Program Instrumentation for Automatic Verification (Extended Technical Report)
Jesper Amilon, Zafer Esen, Dilian Gurov +2
In deductive verification and software model checking, dealing with certain specification language constructs can be problematic when the back-end solver is not sufficiently powerf…