Verification via model-checking is a very demanding activity in terms of computational resources. While there are still gains to be …