You may want to look at my PSL tutorial @ www.project-veripage.com. You will also find SVA tutorial (though I didn't write that). As a side note, I have co-authored books on PSL & SVA, no e-book version, though some parts of it visible via google books site. And last but not least my company offers training on these that include a full project to make you ready for real life ABV usage, you can contact cvc.training <> gmail.com if interested.