p-org / PGitHub分散システムを形式的にモデル化し、その正しさを体系的に検証する、状態機械ベースのプログラミング言語。開発ツール#formal-methods#distributed-systems#model-checking#state-machine#programming-language3721225C#MIT更新 2 か月前