main navigation
my pace

CS 831 Mathematical Modeling of Software Artifacts

Prerequisite: Familiarity with mathematical logic, set theory, and discrete mathematics.

Course Description: Concepts abstraction relations, invariants, non-determinism, inductive definitions are covered extensively in this course. The students understand the strengths and weaknesses of certain models and logics including state machines, algebraic and process models. The students learn how to select and describe appropriate abstract formal models for certain classes of systems, and reason about the correctness of refinements be able to prove elementary properties about systems described by the models introduced in the course.


3 credits