Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Čadek, Pavel"'
We present a new algorithm for computing upper bounds on the number of executions of each program instruction during any single program run. The upper bounds are expressed as functions of program input values. The algorithm is primarily designed to p
Externí odkaz:
http://arxiv.org/abs/1605.03636
Publikováno v:
Automated Technology for Verification & Analysis (9783319465197); 2016, p512-527, 16p