Yayıncı "Springer Science and Business Media Deutschland GmbH" Bilgisayar Mühendisliği Bölümü Koleksiyonu için listeleme
Toplam kayıt 1, listelenen: 1-1
-
Formal Verification of Bit-Vector Invertibility Conditions in Coq
(Springer Science and Business Media Deutschland GmbH, 2023)We prove the correctness of invertibility conditions for the theory of fixed-width bit-vectors—used to solve quantified bit-vector formulas in the Satisfiability Modulo Theories (SMT) solver cvc5— in the Coq proof assistant. ...