CSC465H1

UTSG

Formal Methods in Software Design

Using mathematics to write error-free programs. Proving each refinement; identifying errors as they are made. Program development to meet specifications; modifications that preserve correctness. Useful for all programming; essential for programs that lives depend on. Basic logic, formal specifications, refinement. Conditional, sequential, parallel, interaction, probabilistic programming, and functional programming.

View full details on the UofT Academic Calendar
Prereq: CSC236H1/ CSC240H1/ MAT309H1/ CSC236H5/ CSCB36H3Breadth: Physical & Mathematical UniversesExcl: NOTE: Students not enrolled in the Computer Science Major or Specialist program at A&S, UTM, or UTSC, or the Data Science Specialist at A&S, are limited to a maximum of 1.5 credits in 300-/400-level CSC/ECE courses.
Easy0%
Useful0%
0
comments
0
ratings

Course Info

DepartmentCSC
CampusUTSG (St. George)
Level400
Hours24L
BreadthPhysical & Mathematical Universes
What do you think of CSC465H1?

Reviews

No reviews yet — be the first to share your experience.