Main Page
Jump to navigation
Jump to search
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.
