Material on parametrized verification