Kind-AI, automatic abstract interpreter module for Lustre model-checker Kind

Related