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
 

Contact us

P Santhi Thilagam
Associate Professor and Head
Department of CSE, NITK, Surathkal
P. O. Srinivasnagar, Mangalore - 575 025
Karnataka, India.

  • Hot line: +91-0824-2474060

Connect with us

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