Course Info

SE 533: Software Validation and Verification

Techniques, methods and tools for software inspection and testing. Theory and applications of formal verification of programs. Techniques and tools for automated analysis of programs.

SE 450 or SE 456 are prerequisites for this class.