組み合わせ型チェックとセット制約解決を組み合わせて自動ソフトウェア検証を改善する

{log}言語における型チェックと制約解決の組み合わせは、プログラムの正確性を向上させる革新的な手法である。