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 → …


Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.