Analyzing formal requirements specifications using an off-the-shelf model checker
| Title | Analyzing formal requirements specifications using an off-the-shelf model checker |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Scilingo, G, Novaira, MM, Degiovanni, R, Aguirre, N |
| Conference Name | XXXIX Latin American Computing Conference (CLEI), Caracas (Naiguata), Venezuela, October 7-11, 2013 |
| URL | http://dx.doi.org/10.1109/CLEI.2013.6670611 |
| DOI | 10.1109/CLEI.2013.6670611 |
PDF (Full text):
Work Package:
WP5
