Inferara
|
English
研究
論文
ブログ
お問い合わせ
CTL
スマートコントラクトのセキュリティにおけるLTLとCTLの応用
このブログでは、線形時相論理および計算木論理を探求し、それらをどのようにスマートコントラクトの検証に使用できるかを説明します。