Course Packet
As indicated in the syllabus, there is no course text. Instead, we will be using a course packet. The course packet should be available for purchase from the Copy Center in Welch 2.228. The packet, which is authored by Professor Misra, is similar to that used in previous versions taught by Professor Misra. However, there have been a lot of major and minor changes made to the packet, so students are recommended to obtain a copy of the Spring 2008 version. Note: The cost of the packet is entirely for duplication; i.e., no one is being paid any royalties on sales of the packet.
The full packet can be found here in PDF form: http://www.cs.utexas.edu/users/misra/Classes.dir/ClassNotes.dir/337.pdf
Handouts for this Course
Syllabus.
http://www.cs.utexas.edu/~schrum2/cs337/handouts/syllabus.pdfDay 0 Handout.
http://www.cs.utexas.edu/~schrum2/cs337/handouts/day0.pdfProject Protocol.
http://www.cs.utexas.edu/~schrum2/cs337/handouts/prj_protocol.pdf
Other Handouts
CS337 background information and reference.
http://www.cs.utexas.edu/users/misra/336Handouts.htmlProgram verification.
http://www.cs.utexas.edu/users/misra/ClassNotes.dir/ProgramProving.pdfPowerlist PDF slides
http://www.cs.utexas.edu/users/misra/powerlist.pdf