**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,

Office Phone: (512) 245-8472

Email address: rp31@txstate.edu

Web address: http://www.cs.txstate.edu/~rp31

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

**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:**

- Introduction to formal methods, software crisis
- Overview of basics: set theory, relations, functions,
propositional logic, predicate logic
- Formal Verification
- Alloy Analyzer
- Symbolic Evaluation
- Finite state verification

**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
__

**Grading:**

A : 90 – 100

B : 80 – 89

C : 70 – 79

D : 60 – 69

F : below 60

**Grade Components:
**

- Project
35%
- Homeworks 15%
- Midterm 20%
- Final
30%