7 citations · 7 across the 1 of their papers we have counts for
1 paper · 1 filter
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…