This document outlines the features that are not currently available in DIVINE but are planned for a future release. When new features are included in minor releases (as they become available), they are removed from this list. Therefore, if a feature you were interested in is gone from here, please check the latest documentation and release notes before contacting us.

DIVINE 4.1 (July 2017)

Virtual Machine

Model Checking


User Interface

Testing Coverage

DIVINE 4.2 (January 2018)

Long-Term Goals