Automatic Generation of a Coverification Platform