GitHub - NyxFoundation/speca: SPECA: Specification-to-Checklist Agentic Auditing Framework

テクノロジーカテゴリーの変更を依頼記事元:

github.com/NyxFoundation

19users がブックマークコメント

コメント

1

記事へのコメント1件

注目コメント
新着コメント

nguyen-oi 仕様書からチェックリスト作って監査とか、スマートコントラクト界隈には需要ありそうだな。LLMの使い所として手堅い

2026/05/05 リンク

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

GitHub - NyxFoundation/speca: SPECA: Specification-to-Checklist Agentic Auditing Framework

Paper: Masato Kamba, Hirotake Murakami, Akiyoshi Sannai. Beyond Code Reasoning: A Specification-A... Paper: Masato Kamba, Hirotake Murakami, Akiyoshi Sannai. Beyond Code Reasoning: A Specification-Anchored Audit Framework for Expert-Augmented Security Verification. arXiv preprint arXiv:2604.26495, 2026. SPECA is a specification-anchored security audit framework that derives explicit, typed security properties from natural-language specifications and audits implementations through structured proof

ブックマークしたユーザー

ttm_ben2026/05/07
ktykogm2026/05/06
iqm2026/05/06
dd41kk2026/05/06
CLSmooth2026/05/06
at_yasu2026/05/05
hitotakuchan2026/05/05
toshikish2026/05/05
nguyen-oi2026/05/05
lanius2026/05/05
rokujyouhitoma2026/05/04
yuiseki2026/05/04

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - テクノロジー

いま人気の記事 - テクノロジーをもっと読む

新着記事 - テクノロジー

新着記事 - テクノロジーをもっと読む

いま人気の記事 - 企業メディア

企業メディアをもっと読む

設定を変更しましたx