CSE 634

Assurance Foundations

Syracuse University · UGRD · Fall 2026

1 section

Catalog description

Foundational theory, concepts, and computer-assisted reasoning tools necessary for assurance. Topics include functional programming, theorem proving, and logic for reasoning about access control, security, and trust.

Sections

Current meeting, instructor, credit, and enrollment details

Updated 6 hours ago

001

Availability not recently verified

Class #syracuse-CSE634Fall 2026UGRD3 credits

Days & times: No scheduled meeting time
Meeting dates: —
Location: —
Instructor: Staff

Class numbers and section codes come from the registrar.

Spot missing or incorrect course data?