About the Project
Jump to navigation
Jump to search
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 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.