Search Results

CSCIĀ 845. Formal Methods for Software Development. 3 Credits.

The course is a high level course with the aim of formal representation to be able to formally assess characteristics of software. The formal representations are based on the theoretical foundations of computer sciences such as set theory, logic or graph theory. Prereq: CSCI 713.