نتایج جستجو برای: multi step
تعداد نتایج: 711656 فیلتر نتایج به سال:
Journal:
:Journal of Computational and Applied Mathematics
2008
Journal:
:Optics Express
2012
Journal:
:PLoS ONE
2014
Journal:
:IEEE Transactions on Automatic Control
2012
Journal:
:Journal of Computational and Applied Mathematics
2011
Journal:
:TRANSACTIONS OF THE JAPAN SOCIETY OF MECHANICAL ENGINEERS Series C
2007
Journal:
:Journal of Physics G: Nuclear and Particle Physics
2017
2002
Mark Aagaard
Nancy A. Day
Meng Lou
A diverse collection of correctness statements have been proposed and used in microprocessor verification efforts. Correctness statements have evolved from criteria that match a single step of the implementation against the specification to seemingly looser, multi-step, criteria. In this paper, we formally verify conditions under which two categories of multi-step correctness statements logical...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید