DIVINE 4.0

DIVINE 3.90

LIMITATIONS: This is a beta version. Additionally, verification of LTL (liveness) properties and distributed verification are not currently available and are planned for a later version in the 4.x series. Only C and C++ models are supported at this time: DVE, DESS, CESMI, UPPAAL and other input formalisms are not supported, but may become available in later versions.

DIVINE 3.3.x

DIVINE 3.2.x

DIVINE 3.2.1

DIVINE 3.0.92 (3.1 beta 1; 6.1.2014)

DIVINE 3.0.91 (3.1 alpha 2; 27.10.2013)

DiVinE 3.0.90 (3.1 alpha 1; 14.7.2013)

DiVinE 3.0 (13.7.2013)

DiVinE 2.97 (3.0 RC 2 ; 21.5.2013)

DiVinE 2.96 (3.0 RC 1 ; 17.4.2013)

DiVinE 2.95 (3.0 beta 2 ; 16.3.2013)

DiVinE 2.94 (3.0 beta 1 ; 13.2.2013)

DiVinE 2.93 (3.0 alpha 3 ; 28.1.2013)

DiVinE 2.92 (3.0 alpha 2 ; 21.1.2013)

DiVinE 2.91 (3.0 alpha 1; 7.1.2013)

DiVinE 2.5.2 (4.12.2011)

DiVinE 2.5.1 (5.4.2011)

DiVinE 2.5 (28.2.2011)

DiVinE 2.4 (29.9.2010)

DiVinE 2.3 (8.8.2010)

Furthermore, a new binary ABI is available in this release. There are two caveats though:

  1. The ABI is NOT STABLE and should not be relied upon. It will be subject of further changes in future releases.

  2. The win32 support is somewhat limited, since some models may expect access to symbols exported by the divine binary itself, which is not supported on win32.

DiVinE 2.2 (17.2.2010)

An overall speed improvement of 20 - 30 % may be expected for dual-core reachability and LTL verification when using compiled DVE, over version 2.1.1. Please note that dve.so files generated by this version are not compatible with DiVinE 2.1.1.

KNOWN ISSUES: Error state handling is not consistent between interpreted and compiled DVE. The profiled build (-DPROFILE=ON) is currently broken. (Both issues exist since version 2.1.)

DiVinE 2.1.1 (26.1.2010)

DiVinE 2.1 (17.1.2010)

DiVinE 2.0 (19.11.2009)

DiVinE Multi-Core 1.4 (23.4.2009)

DiVinE Multi-Core 1.3 (17.11.2008)

DiVinE Multi-Core 1.2.1 (1.11.2008)

DiVinE Multi-Core 1.2 (15.5.2008)

DiVinE Multi-Core 1.1

DiVinE Multi-Core 1.0

Initial release.