Download Linnk AI
•
Autonomous Research Assistant
>
Sign In
insight
-
ソフトウェア検証の自動化
組み合わせ型チェックとセット制約解決を組み合わせて自動ソフトウェア検証を改善する
{log}言語における型チェックと制約解決の組み合わせは、プログラムの正確性を向上させる革新的な手法である。
1