Please use this identifier to cite or link to this item: https://idr.l2.nitk.ac.in/jspui/handle/123456789/6752
Full metadata record
DC FieldValueLanguage
dc.contributor.authorJeppu, N.
dc.contributor.authorJeppu, Y.
dc.contributor.authorDevi, M.K.K.
dc.date.accessioned2020-03-30T09:46:04Z-
dc.date.available2020-03-30T09:46:04Z-
dc.date.issued2018
dc.identifier.citationProceedings of the 2017 3rd International Conference on Applied and Theoretical Computing and Communication Technology, iCATccT 2017, 2018, Vol., , pp.310-315en_US
dc.identifier.urihttp://idr.nitk.ac.in/jspui/handle/123456789/6752-
dc.description.abstractFormai methods provide easy way of validating properties about systems. These methods are in existence since the last 50 years but have not been used fully by the industry as an engineering tool. One of the challenges of acceptance is education. Educating engineering students to take up formal methods is a challenge. This paper looks at these aspects of formal methods by providing demonstration of its usefulness on a recent failure. A few challenges of teaching formal method are described and three perspectives of formal methods are explained. The viewpoints are from a student who has worked on this, a teacher who teaches this and an industry practitioner of formal methods. We advocate an industry academia partnership to overcome some of these challenges of teaching formal methods to students. � 2017 IEEE.en_US
dc.titleTeaching formal methods at undergraduate/graduate level: The three perspectivesen_US
dc.typeBook chapteren_US
Appears in Collections:2. Conference Papers

Files in This Item:
There are no files associated with this item.


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.