A meta-language for functional verification