Data Recovery

It appears you may have used Coursicle on this device and then cleared your cookies. You can recover your data by answering these questions.

User ID:

Your account no longer exists

Your user ID no longer exists. Please refresh the page. If the issue persists, please contact us at support@coursicle.com.

Dismiss

CPRE 412 - Formal Methods in Software Engineering

Description
Prereq: COM S 311; STAT 305 or STAT 330 or STAT 341; for graduate credit: graduate standing or permission of instructor. A study of formal techniques for model-based specification and verification of software systems. Topics include logics, formalisms, graph theory, numerical computations, algorithms and tools for automatic analysis of systems. Graduate credit requires in-­depth study of concepts.
Credits
3
Recent Professors
Schedule Planner
Recent Semesters
Spring 2021, Spring 2020, Spring 2019, Spring 2018
Offered
TuTh
Avg. Sections
1