Formal Methods in System Design, Fall 2008 -- CS 6110
School of Computing, University of Utah
FRIDAYS 12:55 PM-3:55 PM (with a break) --- WEB 2460
(Exceptions: On days colloquia are held, we will finish by 3:20 pm roughly)

Instructor: Prof. Ganesh Gopalakrishnan

This index [.ps] [.pdf] [.tex]

Fall'08 Academic Calendar --- Campus Information System (CIS) --- LECTURES

1 Overview

In the Fall 2008 offering of this class, we will begin experimenting with verification tools from various domains. This will allow us to form good intuitions about what this subject is about. Thereafter I will help you pick projects. While your projects are in progress, I'll present the theory behind various tools in formal verification. There will also be student presentations of various papers. More details may be found under Week-1, lecture1.pdf by clicking on LECTURES.

Kindly study the following papers and presentations to get an idea of our course:

Syllabus and many other details of the Fall 2007 version of this class may be found HERE. The Fall 2008 offering will differ a lot.
Our group's own research described through papers and software artifacts HERE provides an overview of my own taste for topic selection. Papers referred at the end of our papers are related work. Our group's research presentations are available HERE.

2 Grading

70% of the grades will be for your project.

30% will be distributed among paper presentations and homeworks.

I am not setting aside a specific point value for participation, but clearly we are looking forward to your full participation. If you cannot make it to a lecture and know about it beforehand, kindly email me.

3 Calendar


       August              September              October               November              December
Su Mo Tu We Th Fr Sa  Su Mo Tu We Th Fr Sa  Su Mo Tu We Th Fr Sa  Su Mo Tu We Th Fr Sa  Su Mo Tu We Th Fr Sa
                1  2     LD  2  3  4  5  6            1  2  3  4                     1      1  2  3  4  5  6
 3  4  5  6  7  8  9   7  8  9 10 11 12 13   5  6  7  8  9 10 11   2  3  4  5  6  7  8   7  8  9 10 11 LL 
10 11 12 13 14 15 16  14 15 16 17 18 19 20  12 FB FB FB FB FB 18   9 10 11 12 13 14 15  
17 18 19 20 21 22 23  21 22 23 24 25 26 27  19 20 21 22 23 24 25  16 17 18 19 20 21 22  
24 25 26 27 28 FL 30  28 29 30              26 27 28 29 30 31     23 24 25 26 TG TG 29  
31                                                                30

FL = First lecture; LL = Last lecture; fb/FB = Fall Break; tg/TG = Thanksgiving

4 ADA Statement

The University of Utah seeks to provide equal access to its programs, services and activities for people with disabilities. If you will need accommodations in the class, reasonable prior notice needs to be given to the Center for Disability Services, 162 Union Building, 581-5020 (V/TDD). CDS will work with you and the instructor to make arrangements for accommodations.

This document was translated from L^AT_EX by H^EV^EA.