maude-hcs

Maude-HCS Maude-HCSは、現実世界の規模で隠蔽通信システム（HCS）を形式的に仕様化し、推論するための、最初の汎用的かつモジュラーなツールチェーンの一つです。これにより、ネットワーク設計者は代替HCS設計を迅速かつ効果的に探求でき、設計を信頼するために必要な形式的なプライバシーとパフォーマンスの保証を提供します。 Introduction...