[2017-01-08] DIVINE 4 is now available. We are pleased to announce that, after a few last-minute holdups, we are ready to label DIVINE 4 as stable. Please bear in mind, however, that DIVINE is still an academic tool and unfortunately only saw limited testing in the beta period. That said, our experience says that it's already pretty useful in practice and we have some nice improvements planned for future releases.

The latest source tarball for DIVINE 4 is, as always, available for download. Starting on January 15th, there will be semi-automated, fortnightly point releases in the 4.0 series (which will include new features as they stabilise), and a 4.1 milestone in July this year.


[2016-09-23] A major update of our software model checker is scheduled for release in autumn 2016. The new release will bring a new, flexible execution environment, based on the traditional virtual machine -- operating system -- user program division, along with a more efficient multi-threaded verification core. The user interface has also seen major improvements. Finally, the upcoming version of DIVINE will make working with counterexamples a much smoother and more pleasant experience.