Property Verification links:
1. EDA Cafe Assertion Based Verification article.
2. IEEE Design&Test Assertion Based verification article.
3. International Conference on VLSI Design Coverage of Formal Property Verification article.