>> [Comp Sci Dept]
>> [R J Botting]
>> [Formal Methods Course Materials]
Wed Oct 1 09:12:57 PDT 2003
My interest and expertise: 1960's
Math&logic+tools help you make better software.
Use them for requirements, specifications, and programs.
Avoided bugs IEEE trans SE
Security news: BLM, XP, AOL IM
Midterm on Logic Feb 12
Final on all Friday March 21
Read and take notes
Try Exercises (many if time)
Class: Assigned work is due in
Plan will be on WWW but interactive.
Ends with assigning an exercise.
Labs: will vary a lot, not preposted
cs656 Paper & presentations: ABCDF
start looking for topics NOW.
Lab: Find cs556 and cs656 Website
Search for "formal methods" on Internet and report to class.
Handouts from this class.
Book: preface, contents, section 1.1, look at exercises 1.1.