Announcing Kind 2 1.1.0

[Adrien Champion]

Dear all, 

We are happy to announce the new official release (v1.1.0) of Kind 2, 
an open-source, multi-engine, SMT-based automatic model checker for 
safety properties of Lustre programs [1]. 

In addition to several internal changes, many improvements and some bug fixes, this release includes the following new functionalities:

- docker integration, see Kind 2's docker page [4]

- support for Scade 6 automata and arrays

- arithmetic (integer and real) invariant generation

- logging of strengthening invariants on `safe` systems (experimental)

Please refer to the CHANGES document [2] for a more detailed 
description, and to the user's documentation [3] of these new 
features. 

The latest version of Kind 2 can be downloaded from 
https://github.com/kind2-mc/kind2/releases and is distributed in 
source form, as well as binaries for both Linux and Mac OS X. 

Feedback and feature requests are most welcome. Please contact the 
developers or open an issue directly on Github at 
https://github.com/kind2-mc/kind2/issues/new 

If you want to participate in discussions with developers and other 
users of Kind 2, you are encouraged to join the kind2-users group at 
https://groups.google.com/d/forum/kind2-users 

Best, 

The Kind 2 Development Team 


[1] http://kind.cs.uiowa.edu 
[2] https://github.com/kind2-mc/kind2/blob/v1.1.0/CHANGES.md
[3] https://github.com/kind2-mc/kind2/tree/v1.1.0/doc/usr/content

[4] https://hub.docker.com/r/kind2/kind2/