Releases
Declare 2.0.9 Released
After what seems like a long hiatus (though, in reality, we have just been working behind the curtains), we have now released the Declare System in version 2.0.9. This version is much faster, and can handle much larger models using the approach described in [1] and is compatible with the operational support service in ProM 6.1 […]
Connect
Connect with us on the following social media platforms.