Difference between revisions of "Main Page"

From Ivoire
Jump to navigation Jump to search
Line 1: Line 1:
 
Welcome to the IVOIRE homepage. Here we keep information about the project, the current status and our publication.
 
Welcome to the IVOIRE homepage. Here we keep information about the project, the current status and our publication.
 
+
fbhvngh
 
The IVOIRE project aims to introduce so-called Validation Obligations (VOs) into formal methods.  
 
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.  
 
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.  
+
By showing if a property is presfghfghfghent one can fghgjmghgnbetter reason about the model and explain the features to its stakeholders.  
 
For further information see the [https://arxiv.org/abs/2102.06037 paper] that introduces IVOIRE.
 
For further information see the [https://arxiv.org/abs/2102.06037 paper] that introduces IVOIRE.
 
g
 
g

Revision as of 09:30, 29 November 2021

Welcome to the IVOIRE homepage. Here we keep information about the project, the current status and our publication. fbhvngh 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 fghgjmghgnbetter reason about the model and explain the features to its stakeholders. For further information see the paper that introduces IVOIRE. g