Added 3 PDF-files concerning teaching about Formal Verification