← すべての言語
Formal Verification & Layered Representation .fvlr
不確実性に関する主張は曖昧になりがちです。
不確実性を、確認と再現が可能な正確な形式的主張と義務として表します。
証明の対象は、与えられた抽象化と前提に限られます。
