User Tools

Site Tools


CSci 562 - Formal Specification Methods

A foundational course that introduces several formal specification techniques for construction and analysis of software artifacts. Included are rigorous program development, abstract specifications of modules, and modeling of concurrent and distributed software.

Credits Offered Lab Pre-requisites Core Category
3 Spring (Even Years) No CSci 435, CSci 463 -

csci_562_-_formal_specification_methods.txt · Last modified: 2013/07/11 12:51 by jhuber