Difference between revisions of "About the Project"

Latest revision as of 09:07, 10 May 2024

Redirect to:

Revision as of 07:30, 3 November 2021 (view source) IvoireDL (talk \| contribs) ← Older edit		Latest revision as of 09:07, 10 May 2024 (view source) IvoireDL (talk \| contribs) (Redirected page to Ivoire:About) Tag: New redirect
Line 1:		Line 1:
−	The IVOIRE project aims to introduce so-called Validation Obligations (VOs) into formal methods. With these VOs it then 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. For further information see the [~~https~~:~~//arxiv.org/abs/2102.06037 paper~~] ~~that introduces IVOIRE.~~	+	#REDIRECT [[Ivoire:About]]
−
−	~~The project itself is laid out in multiple steps as explained in the project proposal. Results for the various subgoals can be found on the report page.~~