Formal Methods
Course Name:
Formal Methods (IS800)
Programme:
M.Tech (CSE-IS)
Category:
Elective Courses (Ele)
Credits (L-T-P):
03 (3-0-0)
Content:
Formal Methods in Computing Specification; Formal Description Techniques in Communication Software Systems; Formal Methods in Object Orientation and Software Engineering, Proof Methods and Techniques, Temporal and Model Logic.
References:
1.Jan Ven Lecuwen,"Formal Model and Semantics", Elsevier-MIT Press, 1992.
2.Arindama Singh,"Logic for Computer Science", PHI, IEEE, 2003.
3.Larry Wall, Tom Christensen and Randal Schwartz,"Programming Perl",O'Reilly & Associates, Inc,1996.
Department:
Computer Science and Engineering