CS 246
Advanced Verification Techniques in Software Engineering


Important copyright notice

The following material is presented to ensure timely dissemination of information among the students in the classes I teach. Further distribution of this material is prohibited, and constitutes a copyright violation.


Syllabus

You can retrieve the syllabus for CS 246 (pdf file).


Foils

I will post here a copy of the foils I use in class. Since I will occasionally update the posted files, you might want to download them on your laptop regularly. If you choose to print them, please use the "two foils per side" and "double sided" options, to save paper, i.e., money for the department and trees for the environment.


Notation

Notation is very important in our field. I have prepared a table of symbols I most frequently use. You can retrieve the LaTeX source Notation.tex , or the postscript file Notation.ps obtained from it.


Typesetting your homeworks

You are required to typeset your homeworks using LaTeX (latex on our system), the standard high-quality typesetting program in our field. To include figures in your homework, you can draw them using any graphical tool available to you, provided it can generate graphic files in a format that can be included in LaTeX (e.g., EPS). I like TGIF, which is free and runs on a variety of platforms, or OmniGraffle, which runs only on Macintosh computers and is a commercial product.

Here is an example of how to include a file Figure.eps, generated from the TGIF file Figure.obj, into a file Figure.tex.


Homeworks

I will post here the text of homeworks assigned in class. I encourage you to retrieve the ``.tex'' files and use them as templates to typeset your answers. If any of the following files is not found, it means that the corresponding homework is not yet available.


Last updated: March 6, 2007. Report suggestions and problems to: ciardo@cs.ucr.edu
URL: http://www.cs.ucr.edu/~ciardo/teaching/CS246/CS246.html