نتایج جستجو برای: program verification
تعداد نتایج: 526809 فیلتر نتایج به سال:
2013
Alberto Pettorossi
Maurizio Proietti
We present a transformational approach to program verification and software model checking that uses three main ingredients: (i) Constraint Logic Programming (CLP), (ii) metaprogramming and program specialization, and (iii) proof by transformation. (i) Constraints are used for representing in a compact way (finite or infinite) sets of values or memory states, and logic is used for expressing pr...
Journal:
:Science of Computer Programming
2014
Journal:
:Electronic Proceedings in Theoretical Computer Science
2019
Journal:
:Theory and Practice of Logic Programming
2017
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید