Teaching Model Checking to Undergraduates
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 pres...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Babes-Bolyai University, Cluj-Napoca
2010-09-01
|
| Series: | Studia Universitatis Babes-Bolyai: Series Informatica |
| Online Access: | http://www.cs.ubbcluj.ro/apps/reviste/index.php/studia-i/article/view/16 |
| _version_ | 1818553721411338240 |
|---|---|
| author | Andreea Vescan Militon Frentiu |
| author_facet | Andreea Vescan Militon Frentiu |
| author_sort | Andreea Vescan |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-12-12T09:29:32Z |
| format | Article |
| id | doaj.art-de68c965555d48bdbfbd7d5cefc8f62d |
| institution | Directory Open Access Journal |
| issn | 1224-869X |
| language | English |
| last_indexed | 2024-12-12T09:29:32Z |
| publishDate | 2010-09-01 |
| publisher | Babes-Bolyai University, Cluj-Napoca |
| record_format | Article |
| series | Studia Universitatis Babes-Bolyai: Series Informatica |
| spelling | doaj.art-de68c965555d48bdbfbd7d5cefc8f62d2022-12-22T00:28:54ZengBabes-Bolyai University, Cluj-NapocaStudia Universitatis Babes-Bolyai: Series Informatica1224-869X2010-09-015534550Teaching Model Checking to UndergraduatesAndreea VescanMiliton FrentiuThe 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.http://www.cs.ubbcluj.ro/apps/reviste/index.php/studia-i/article/view/16 |
| spellingShingle | Andreea Vescan Militon Frentiu Teaching Model Checking to Undergraduates Studia Universitatis Babes-Bolyai: Series Informatica |
| title | Teaching Model Checking to Undergraduates |
| title_full | Teaching Model Checking to Undergraduates |
| title_fullStr | Teaching Model Checking to Undergraduates |
| title_full_unstemmed | Teaching Model Checking to Undergraduates |
| title_short | Teaching Model Checking to Undergraduates |
| title_sort | teaching model checking to undergraduates |
| url | http://www.cs.ubbcluj.ro/apps/reviste/index.php/studia-i/article/view/16 |
| work_keys_str_mv | AT andreeavescan teachingmodelcheckingtoundergraduates AT militonfrentiu teachingmodelcheckingtoundergraduates |