%0 Journal Article
%T Teaching Model Checking to Undergraduates
%A Andreea Vescan
%A Militon Frentiu
%J Studia Universitatis Babes-Bolyai : Series Informatica
%D 2010
%I Babes-Bolyai University, Cluj-Napoca
%X The way program verification is taught in our faculty is firstly described. One of the verification methods is model checking, shortly presented to the students in one lecture. One laboratory project consists in using the SPIN tool. The difficulties encountered by students with this project are presented in this paper.
%U http://www.cs.ubbcluj.ro/apps/reviste/index.php/studia-i/article/view/16