7 citations · 7 across the 1 of their papers we have counts for
1 paper
Francesco Ranzato
Decidability and synthesis of inductive invariants ranging in a given domain play an important role in many software and hardware verification systems. We consider here inductive i…