Search Results

CSCIĀ 6232. Software Engineering Development. 3 Credits.

Formal methods in software engineering. First-order logic, basic specification elements, rigorous proofs, formal development process, concurrency. Prerequisite: CSCI 6461, CSCI 6212.