Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
CS 246
[go: Go Back, main page]

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.


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