Approximated parameterized verification of infinite-state processes with global conditions (0)

by P A Abdulla, G Delzanno, A Rezine
Venue:Formal Methods in System Design