1 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.LO2024★ 1 cited
A Hoare Logic for Domain Specification (Full Version)
Eduard Kamburjan, Dilian Gurov
Programs must be correct with respect to their application domain. Yet, the program specification and verification approaches so far only consider correctness in terms of computati…
cs.LO2023
Soundness and Completeness of a Model-Checking Proof System for CTL
Georg Friedrich Schuppe, Dilian Gurov
We propose a local model-checking proof system for a fragment of CTL. The rules of the proof system are motivated by the well-known fixed-point characterisation of CTL based on unf…
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…