Sarah Winter

HyperLTLモデル検査がソフトウェアシステムのセキュリティをどう向上させるかを発見しよう。