Difference between revisions of "Main Page"
Jump to navigation
Jump to search
| Line 2: | Line 2: | ||
| − | [[File:RefinementHierarchy.png]] | + | [[File:RefinementHierarchy.png|| 1000px]] |
Revision as of 13:27, 29 November 2021
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 formal model.
By showing if a property is one can reason about the model and explain the features to its stakeholders.
For further information see the paper that introduces IVOIRE.
