نتایج جستجو برای: abstraction

تعداد نتایج: 29667  

Journal: :Electronic Proceedings in Theoretical Computer Science 2012

Journal: :Science of Computer Programming 2015

Journal: :Critique d’art 2002

Journal: :Journal of the Brazilian Computer Society 2008

Journal: :Philosophical Transactions of the Royal Society of London. Series B: Biological Sciences 2003

Journal: :Lecture Notes in Computer Science 2023

Abstract We present a certified algebraic abstraction technique for verifying bit-accurate non-linear integer computations. In abstraction, programs are lifted to polynomial equations in the abstract domain. Algebraic techniques employed analyze programs; SMT QF_BV solvers adopted analysis of soundness conditions. explain how verify our algorithm and certify verification results. Our hybrid has...

Journal: :Information and Computation 2000

Journal: :Journal of Functional Programming 2012

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید