Kind 安装 kubernets
介绍
kind is a tool for running local Kubernetes clusters using Docker container “nodes”.
Kind 是一个通过使用 docker 容器模拟节点来创建本地 k8s 集群的工具。 repo:https://github.com/kubernetes-sigs/kind website:…
The JKIND Model Checker 其是一种针对Lustre语言的模型检验工具,其是由Rockwell Collins和明尼苏达大学开发的开源的工业级的模型检查器,并于2018年发布。JKIND使用多个并行的引擎应用于拥有无限个状态的模型来证明属性或者给出其反例。 JKind - An inf…