Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking

TitleAnalyzing Behavioural Scenarios over Tabular Specifications Using Model Checking
Publication TypeConference Paper
Year of Publication2014
AuthorsScilingo, G, Novaira, MM, Degiovanni, R
Conference NameProceedings First Latin American Workshop on Formal Methods, LAFM 2013, Buenos Aires, Argentina, August 26th 2013.
URLhttp://dx.doi.org/10.4204/EPTCS.139.8
DOI10.4204/EPTCS.139.8
PDF (Full text): 
Work Package: 
WP5