Dezyneは、並行制御ソフトウェアを形式的に設計・検証・実装するためのプログラミング言語およびツール群です。状態遷移やメッセージパッシングに基づき、デッドロックや非決定性のないモデルを保証しつつ、構造と動作を統一的に記述可能です。特にサイバーフィジカルシステムや組込み分野に適しており、構成要素間の契約設計によって複雑性の管理を容易にします。オープンソースで提供されています。