by Stock, Sebastian
Abstract:
Verification and validation are equally important when creating and reasoning about formal models. Verification focuses on the consistency of a model, while validation answers whether a model appropriately represents the requirements. However, compared to verification, validation remains underrepresented in modeling activities, and one of the reasons for this underrepresentation is that the modeler postpones the validation till the end of the modeling process leading to the late discovery of mistakes. Countering this, we present a framework that integrates validation early and tightly in the modeling process.
Reference:
Stock, Sebastian: Early and Systematic Validation of Formal Models, in Formal Methods and Software Engineering (Li, Yi, Tahar, Sofiène, eds.), Springer Nature Singapore, 2023.
Bibtex Entry:
@Conference{Stock2023b,
author = {Stock, Sebastian},
booktitle = {Formal Methods and Software Engineering},
title = {Early and Systematic Validation of Formal Models},
year = {2023},
address = {Singapore},
editor = {Li, Yi and Tahar, Sofi{\`e}ne},
pages = {255--260},
publisher = {Springer Nature Singapore},
abstract = {Verification and validation are equally important when creating and reasoning about formal models. Verification focuses on the consistency of a model, while validation answers whether a model appropriately represents the requirements. However, compared to verification, validation remains underrepresented in modeling activities, and one of the reasons for this underrepresentation is that the modeler postpones the validation till the end of the modeling process leading to the late discovery of mistakes. Countering this, we present a framework that integrates validation early and tightly in the modeling process.},
isbn = {978-981-99-7584-6},
}