AProVE Logo
Home
Web Interface
Download
References
Contributors
Contact

References


System Description Technical Background Experiments


System Description

  • J. Giesl, C. Aschermann, M. Brockschmidt, F. Emmes, F. Frohn, C. Fuhs, J. Hensel, C. Otto, M. Plücker, P. Schneider-Kamp, T. Ströder, S. Swiderski, and R. Thiemann
    Analyzing Program Termination and Complexity Automatically with AProVE
    Journal of Automated Reasoning, to appear. ©Springer-Verlag
    Preliminary Version
  • T. Ströder, C. Aschermann, F. Frohn, J. Hensel, and J. Giesl
    AProVE: Termination and Memory Safety of C Programs (Competition Contribution)
    In Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '15), London, UK, Lecture Notes in Computer Science 9035, pages 417-419, 2015. ©Springer-Verlag
  • J. Giesl, M. Brockschmidt, F. Emmes, F. Frohn, C. Fuhs, C. Otto, M. Plücker, P. Schneider-Kamp, T. Ströder, S. Swiderski, and R. Thiemann
    Proving Termination of Programs Automatically with AProVE
    In Proceedings of the 7th International Joint Conference on Automated Reasoning (IJCAR '14), Vienna, Austria, Lecture Notes in Artificial Intelligence 8562, pages 184-191, 2014. ©Springer-Verlag
  • J. Giesl, P. Schneider-Kamp, and R. Thiemann
    AProVE 1.2: Automatic Termination Proofs in the Dependency Pair Framework
    In Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR '06), Seattle, USA, Lecture Notes in Artificial Intelligence 4130, pages 281-286, 2006. ©Springer-Verlag

  • J. Giesl, R. Thiemann, P. Schneider-Kamp, and S. Falke
    Automated Termination Proofs with AProVE
    In Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA-04), Aachen, Germany, Lecture Notes in Computer Science 3091, pages 210-220, 2004. ©Springer-Verlag

Technical Background

Experiments

 
Disclaimer