Analyzing Program Termination and Complexity Automatically with AProVE

Document Details

Document Type
Pub Defense Publication
Publication Date
Oct 21, 2016
Source ID
10.1007/s10817-016-9388-y

Entities

People

  • Carsten Fuhs
  • Carsten Otto
  • Cornelius Aschermann
  • Fabian Emmes
  • Florian Frohn
  • Jera Hensel
  • Jürgen Giesl
  • Marc Brockschmidt
  • Martin Plücker
  • Peter Schneider-kamp
  • René Thiemann
  • Stephanie Swiderski
  • Thomas Ströder

Organizations

  • Air Force Research Laboratory
  • Austrian Science Fund
  • German Research Foundation
  • Independent Research Fund Denmark