Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution

Amsterdam [u.a.] / Elsevier Science (2018) [Journal Article]

Journal of Logical and Algebraic Methods in Programming
Volume: 97
Page(s): 105-130

Authors

Selected Authors

Hensel, Jera
Giesl, Jürgen
Frohn, Florian
Ströder, Thomas

Identifier