CS 655 - FORMAL METHODS IN SOFTWARE ENG

Semester Hours: 3

Formal mechanisms to specify, validate, and verify software systems. Propositional and predicate calculi. Program verification through Djikstra's weakest preconditions and Hoare's method. Formal specification via algebraic specifications and abstract model specifications. Prerequisites: CS 617 and CS 650.

Computer Science, MS

http://catalog.uah.edu/grad/colleges-departments/science/computer-science/computer-science-ms/

...who completes CS 650 two courses from ( CS 553 , CS 652 , CS 655 , CS 656...

Computer Science, MSSE

http://catalog.uah.edu/grad/colleges-departments/science/computer-science/computer-science-msse/

...who completes CS 650 , two courses from ( CS 553 , CS 652 , CS 655 , CS 656...