Difference between revisions of "Main Page"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
Welcome to the IVOIRE homepage. Here we keep information about the project, the current status and our publication. | Welcome to the IVOIRE homepage. Here we keep information about the project, the current status and our publication. | ||
| − | + | fbhvngh | |
The IVOIRE project aims to introduce so-called Validation Obligations (VOs) into formal methods. | 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. | 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 presfghfghfghent one can | + | By showing if a property is presfghfghfghent one can fghgjmghgnbetter 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. | For further information see the [https://arxiv.org/abs/2102.06037 paper] that introduces IVOIRE. | ||
g | g | ||
Revision as of 09:30, 29 November 2021
Welcome to the IVOIRE homepage. Here we keep information about the project, the current status and our publication. fbhvngh 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 presfghfghfghent one can fghgjmghgnbetter reason about the model and explain the features to its stakeholders. For further information see the paper that introduces IVOIRE. g
