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 […]