... functions such as memset or memcpy . The theory of arrays is widely used in program analysis, deductive software verification, bounded model checking, ...
確定! 回上一頁