3 citations · 3 across the 3 of their papers we have counts for
3 papers
Synthesis through Unification
Rajeev Alur, Pavol Cerny, Arjun Radhakrishna
Given a specification and a set of candidate programs (program space), the program synthesis problem is to find a candidate program that satisfies the specification. We present the…
From Non-preemptive to Preemptive Scheduling using Synchronization Synthesis
Pavol Černý, Edmund M. Clarke, Thomas A. Henzinger +4
We present a computer-aided programming approach to concurrency. The approach allows programmers to program assuming a friendly, non-preemptive scheduler, and our synthesis procedu…
Interface Simulation Distances
Pavol Černý, Martin Chmelík, Thomas A. Henzinger +1
The classical (boolean) notion of refinement for behavioral interfaces of system components is the alternating refinement preorder. In this paper, we define a distance for interfac…