Early and Systematic Validation of Formal Models

Beschreibung

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.

Zeitraum	22 Nov. 2023
Ereignistitel	24th International Conference on Formal Engineering Methods (ICFEM), Brisbane, QLD, Australia
Veranstaltungstyp	Konferenz
Ort	AustralienAuf Karte anzeigen