5 citations · 7 across the 13 of their papers we have counts for
4 papers · 1 filter
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…
Asynchronous Agents with Perfect Recall: Model Reductions, Knowledge-Based Construction, and Model Checking for Coalitional Strategies
Dilian Gurov, Filip Jamroga, Wojciech Jamroga +4
Model checking of strategic abilities for agents with memory is a notoriously hard problem, and very few attempts have been made to tackle it. In this paper, we present two importa…
An Expressive Trace Logic for Recursive Programs
Dilian Gurov, Reiner Hähnle
We present an expressive logic over trace formulas, based on binary state predicates, chop, and least fixed-points, for precise specification of programs with recursive procedures.…
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…