Automated Software Analysis Group

Checking Software Reliability

  • Author:

    Mana Taghdiri

  • Place:

    Emerging Research Directions in Computer Science - The Young Informatics Faculty at Karlsruhe Institute of Technology, KIT Scientific Publishing, 2010

  • The research group “Automated Software Analysis” at the institute for Theoretical Informatics at KIT aims at developing techniques for checking software reliability automatically. The ultimate goal is to develop techniques that are scalable, easy to use, and therefore, can be applied to real-world software systems.