5 citations · 7 across the 13 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
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…