University Catalog

Print Page

CSCI 406. Formal Methods

Credits: 3
Department: Computer Science & Information Technology
Description: Formal methods for specification, validation and verification in software development life cycle. Specification techniques. Formal methods integration with programming languages. Application of formal methods in requirements and safety analysis, testing, software reuse.
Prerequisites: CSCI 311, CSCI 330, or permission of instructor.
Semester Offered: DEMAND
Grading Method: ABCDF
Lab: Lab

Student Learning Outcomes

1. Write a quality software requirements document.
2. Apply software requirements to guide program development.
3. Use abstractions and formal methods in the design of programs.
4. Represent knowledge, policies, and verification formally.
5. Specify communication and concurrencies with algebraic methodologies.
6. Test software and assure its quality.
7. Use reusable software patterns.
8. Apply current theories, models, and techniques.

The contents in this catalog and other university publications, policies, fees, bulletins or announcements are subject to change without notice and do not constitute an irrevocable contract between any student and St. Cloud State University.