Difference between revisions of "About the Project"

Latest revision as of 09:07, 10 May 2024

Redirect to:

Revision as of 07:14, 3 November 2021 (view source) IvoireDL (talk \| contribs) (Created page with "The IVOIRE project aims to introduce so-called Validation Obligations (VOs) into formal methods. With these VOs it than shall be possible to show whether a certain behavior is...")		Latest revision as of 09:07, 10 May 2024 (view source) IvoireDL (talk \| contribs) (Redirected page to Ivoire:About) Tag: New redirect
(2 intermediate revisions by the same user not shown)
Line 1:		Line 1:
−	The IVOIRE project aims to introduce so-called Validation Obligations (VOs) into formal methods. With these VOs it than shall be possible to show whether a certain behavior is present in a formel model. By showing if a property is present one can better reason about the model and explain the features to its stakeholders.	+	#REDIRECT [[Ivoire:About]]