Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Morshtein, Shiri"'
Publikováno v:
EPTCS 338, 2021, pp. 68-81
Formal software verification techniques are widely used to specify and prove the functional correctness of programs. However, nonfunctional properties such as time complexity are usually carried out with pen and paper. Inefficient code in terms of ti
Externí odkaz:
http://arxiv.org/abs/2108.02966
