About the Project

From Ivoire

Revision as of 07:14, 3 November 2021 by IvoireDL (talk | contribs) (Created page with "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...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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.

Retrieved from "https://isse.jku.at/ivoire/index.php?title=About_the_Project&oldid=5"