Announcing Kind 2 2.0.0

[kind2-announce]

Dear all,

We are happy to announce the new official release (v2.0.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 improvements and bug fixes, this release includes
the following new functionalities:

- Support for SMTInterpol as a backend solver.
- New IC3 engine based on Implicit (Predicate) Abstraction.
- Support for subrange types with an open end.

Please refer to the CHANGES document [2] for a more detailed
description, and to the user's documentation [3] for further details.

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 macOS.
It can also be installed through OPAM.

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/v2.0.0/CHANGES.md
[3] https://kind.cs.uiowa.edu/kind2_user_doc/

[Tinelli, Cesare]

Thanks, Mike. We have further exciting additions in the works, in the direction of improving expressiveness and usability.

Stay tuned :)


Cesare

> On 23 Jun 2023, at 09:29, Mike Whalen <mike....@gmail.com> wrote:
>
> Congratulations Cesare and team! Sounds exciting.
>
> Mike

> --
> You received this message because you are subscribed to the Google Groups "kind2-announce" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to kind2-announc...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/kind2-announce/b187ca41-eba7-47e8-9493-fafee79945b6n%40googlegroups.com.