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

Description

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.
StatusActive
Effective start/end date1/01/95 → …