48 citations · 192 across the 15 of their papers we have counts for
1 paper · 1 filter
Romain Brenguier, Guillermo A. Pérez, Jean-François Raskin +1
In this paper, we describe a synthesis algorithm for safety specifications described as circuits. Our algorithm is based on fixpoint computations, abstraction and refinement, it us…