COSC 304 Formal Methods for Software Engineering 3 Credits

A study of Mathematical logic and proof techniques, discrete structures, and other Mathematical topics that are used in software engineering; the use of formal methods in software specifications; and the use of formal methods throughout the software life-cycle.

Prerequisites: COSC 221.