Where can I find examples of CVL files?

1

Are there any publicly available spec files?

2

There are quite a few open source projects with CVL verification files:
openzepplin:

Sushiswap bentobox

Sushiswap kashi-lending

2 Likes