Message-ID: <DE2CF556E37E0949BBCA86854480EDAE16E0CB@JANUS.eecs.berkeley.edu> From: George Necula <necula@EECS.Berkeley.EDU> Subject: Graduate course announcement Date: Fri, 5 Jan 2001 16:50:13 -0800 Title: Formal Techniques for Software Reliability Instructors: Alex Aiken, Tom Henzinger and George Necula Description: Reliability of computer systems is an important practical issue and researchers have devised numerous techniques and tools aimed at improving the reliability of both software and hardware components. This course is motivated by the observation that there is often little interaction between research communities working on different aspects of reliability even though it seems that some of these techniques have complementary strengths and weaknesses. In this course, we will examine three formal approaches to computer system analysis: program analysis, theorem proving and model checking. The presentation will be mostly in the context of improving the reliability of software and the emphasis will be in exposing the strengths and weaknesses of each technique, along with the similarities and differences between them. The ultimate goal of the course is to gain insight into what kinds of integrations of these formal techniques is possible and beneficial. Additional info: The course will be structured (roughly) in three parts: program analysis (Alex Aiken), model checking (Tom Henzinger) and theorem proving (George Necula). The class meets on Mondays from 2-4pm. The course can be taken for either 1 unit or for 3 units (with a class project). For more information please see http://www.cs.berkeley.edu/~necula/294softqual
This archive was generated by hypermail 2b30 : 11/04/02 PST