All public logs
Jump to navigation
Jump to search
Combined display of all available logs of Ivoire. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 07:14, 3 November 2021 IvoireDL talk contribs created page About the Project (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...")