A Sound and Complete Algorithm to Identify Independent Variables in a Reactive System Specification.

Josu Oca, Montserrat Hermo, Alexander Bolotov

Browse the full DATE paper archive.