用可滿足*造句子，“可滿足*”造句

該文提出了一種結合邏輯模擬和布爾可滿足*的黑盒驗*方法，用於驗*設計中黑盒外部的功能正確*。

該方法以擴展的關係邏輯為語義基礎，把一致*問題歸結為關係邏輯公式的可滿足*問題。