(3 Units) Introduction to formal techniques in software design, development, and verification. The students will form teams. Each team will design a significant software project.(Formerly CS 3800)Prerequisites: CS 3100.(Lecture, 2 hours; laboratory, 2 hours)(Fall)