Lambda the Ultimate

inactiveTopic Formal Techniques for Software Reliability
started 7/29/2002; 1:30:34 AM - last post 7/29/2002; 1:30:34 AM
Ehud Lamm - Formal Techniques for Software Reliability  blueArrow
7/29/2002; 1:30:34 AM (reads: 1234, responses: 0)
Formal Techniques for Software Reliability
An interesting course given at Berkeley.

Topics include Abstract Interpretation, Type-Based Program Analysis and Theorem Proving.


Posted to Software-Eng by Ehud Lamm on 7/29/02; 1:30:55 AM