Course Syllabus
Course Name: Formal Methods in Software Engineering
Course Number: CS 5392
Building & Room: DERR 325, AVRY 366
Meeting times: Tuesday 6:30pm to 9:20pm
Instructor's Name: Rodion Podorozhny
Office Location: Rm 307E,
Office Phone: (512) 245-8472
Email address: rp31@txstate.edu
Web address: http://www.cs.txstate.edu/~rp31
Office Hours: by arrangement on-line
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:
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: