Dataset - CKAN

Verification of real time properties in fiacre language

The formal verification of critical, reactive systems is a very complicated task, especially for non experts. In this work, we more particularly address the problem of...
- HTML

You can also access this registry using the API (see API Docs).