Added lecture notes from the course on formal verification of systems. Read more about them on the writings page.