A Correct Algorithm for Identifying Independent Variable Sets in Reactive Systems

Josu Oca, Montserrat Hermo, Alexander Bolotov

Recent work has proposed algorithms for decomposing reactive synthesis specifications into simpler and independent subspecifications. Motivated by the DecomposeContract algorithm i…