Course Syllabus

Course Name: Formal Methods in Software Engineering
Course Number: CS 5392
Building & Room:  Avery 364 and Alkek 102

Meeting times: Monday 6:30pm to 9:20pm

Instructor's Name: Rodion Podorozhny
Office Location: Rm 215, Nueces
Office Phone: (512) 245-8472
Email address:
Web address:

Office Hours: Monday between 12pm and 5pm in Nueces Rm 215

Suggested Textbooks:  

Logic in Computer Science by Michael Huth and Mark Ryan, 2nd ed., ISBN 0-521-54310-X

Software Reliability Methods by Doron Peled, ISBN: 0-387-95106-7

Discrete Structures, Logic, and Computability by James Hein, ISBN: 0-7637-1843-2

Model Checking by Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled, ISBN:  0-262-03270-8

Principles of the Spin Model Checker by Mordechai Ben-Ari, ISBN:  978-1-84628-769-5

Software Abstractions by Daniel Jackson, ISBN: 0-262-10114-9

Mathematical Theory of Computation by Zohar Manna, ISBN: 0-486-43238-6

Systems and Software Verification by Beatrice Berard, Michel Bidoit et al., ISBN: 3-540-41523-8


Course Description: The study of formal methods used for analysis of software systems for the purpose of ensuring software's qualities.

Prerequisites: Grade of C or better in CS 3358 and CS 5391

Course Topics:


Midterm Overview

Final Overview

Project description

Other project descriptions


Attendance Policy: Much of the material for this course will be covered ONLY in lecture, not in the textbook. For that reason, class attendance is essential to success. If you have to miss class for any reason, you will still be responsible for material covered in your absence.

IMPORTANT: Check the Texas State Web Site for class drop information!!!

A : 90 – 100
B : 80 – 89
C : 70 – 79
D : 60 – 69
F : below 60

Grade Components: