Advanced verification by automatic property generation

Advanced verification by automatic property generation