IEEE - Institute of Electrical and Electronics Engineers, Inc. - An approach to enhance students' competency in software verification techniques

2015 IEEE Frontiers in Education Conference (FIE)

Author(s): Omar Ochoa ; Salamah Salamah
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 October 2015
Conference Location: El Paso, TX, USA
Conference Date: 21 October 2015
Page(s): 1 - 9
ISBN (Paper): 978-1-4799-8454-1
DOI: 10.1109/FIE.2015.7344050
Regular:

In this paper we present an approach used to enhance students' competency in software verification. Students were asked to apply software verification techniques to a complex formal specification... View More

Advertisement