Difference between revisions of "Main Page"

From Ivoire
Jump to navigation Jump to search
Line 2: Line 2:
  
  
[[Media:RefinementHierarchy.png]]
+
[[File:RefinementHierarchy.png]]
  
  

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.


RefinementHierarchy.png


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.