Formal Methods

Course Name: 

Formal Methods (CO452)

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
 

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.