Main Page
Revision as of 09:30, 29 November 2021 by 140.78.57.138 (talk)
Welcome to the IVOIRE homepage. Here we keep information about the project, the current status and our publication.
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 better reason about the model and explain the features to its stakeholders. For further information see the paper that introduces IVOIRE. g