Formal Methods

Course Name: 

Formal Methods (IS800)


M.Tech (CSE-IS)


Elective Courses (Ele)

Credits (L-T-P): 

03 (3-0-0)


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.


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.


Computer Science and Engineering

Contact us

Dr. Alwyn Roshan Pais
Head of the Department
Department of CSE, NITK, Surathkal
P. O. Srinivasnagar, Mangalore - 575 025
Karnataka, India.

  • Hot line: +91-0824-2474053

Connect with us

We're on Social Networks. Follow us & get in touch.