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).

Logs
  • 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...")