Thomas Ströder
YOU?
Author Swipe
View article: Symbolische Auswertung und Programmsynthese : Ein allgemeiner Ansatz zur Software-Verifikation
Symbolische Auswertung und Programmsynthese : Ein allgemeiner Ansatz zur Software-Verifikation Open
We are concerned with the correctness of software and present a general methodology for verifying properties of programs in virtually any programming language. This methodology consists of two stages: First, we symbolically execute the pro…
View article: Inferring Lower Bounds for Runtime Complexity
Inferring Lower Bounds for Runtime Complexity Open
We present the first approach to deduce lower bounds for innermost runtime complexity of term rewrite systems (TRSs) automatically. Inferring lower runtime bounds is useful to detect bugs and to complement existing techniques that compute …