Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking

Gastón Scilingo, María Marta Novaira, Renzo Degiovanni

Tabular notations, in particular SCR specifications, have proved to be a useful means for formally describing complex requirements. The SCR method offers a powerful family of analy…