Formal Methods
Course Name:
Formal Methods (CS412)(2019)
Programme:
B.Tech (CSE)
Semester:
Sixth
Category:
Programme Specific Electives (PSE)
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 and Associates Inc., 1996.
Department:
Computer Science and Engineering