Sebastian Stock,
"Early and Systematic Validation of Formal Models"
, in Springer: 24th International Conference on Formal Engineering Methods (ICFEM), Brisbane, QLD, Australia, Vol. 14308, Seite(n) 255-260, 11-2023
Original Titel:
Early and Systematic Validation of Formal Models
Sprache des Titels:
Englisch
Original Buchtitel:
24th International Conference on Formal Engineering Methods (ICFEM), Brisbane, QLD, Australia
Original Kurzfassung:
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.