Difference between revisions of "About the Project"
Jump to navigation
Jump to search
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. | 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. | ||
+ | |||
+ | 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. |
Revision as of 07:30, 3 November 2021
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 paper that introduces IVOIRE.
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.