Formal Methods

  • Lucas, Peter, (Co-Investigator (CoI))
  • Lorber, Florian Lukas, (Co-Investigator (CoI))
  • Jöbstl, Elisabeth, (Co-Investigator (CoI))
  • Aichernig, Bernhard (Co-Investigator (CoI))

Project: Research area

Project Details


Formal methods are mathematical development techniques and tools for producing computer-based systems of high-quality. This research activity investigates both, the mathematical foundations of software-engineering as well as the industrial application of these theories. A transfer of technology into the mainstream of systems development is slowly, but surely taking place, as several publications indicate.
Effective start/end date1/01/95 → …