CIS 673: Computer-Aided Verification, Fall 2012

Instructor: Rajeev Alur ( alur@cis)

Class: Tues Thurs 10.30--12.00, Towne 307

Introduction

Over the past two decades, techniques for formal verification have matured to allow analysis of real-world software. This course will introduce students to methods and tools for software verification. During Fall 2012, we plan to cover following topics

Prerequisites

The course requires basic knowledge of algorithms, data structures, programming languages, automata theory, computational complexity, and propositional logic. The course requires mathematical maturity, and is appropriate for graduate students who wish to pursue research in formal methods, software analysis, or related areas. If you need more information to decide, contact the instructor.

Logistics

Reading material will consist of both survey papers and recent research papers. Every week, students are expected to read the papers related to the topic, before the lectures, and participate actively during class. Each student is also expected to do a project and give a presentation at the end of the semester. There will be no homeworks or exams.

Schedule