Difference between revisions of "About the Project"
Jump to navigation
Jump to search
(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...") |
|||
Line 1: | Line 1: | ||
− | The IVOIRE project aims to introduce so-called Validation Obligations (VOs) into formal methods. With these VOs it | + | 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. |
Revision as of 07:16, 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.