Formale Methoden

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

Projekt: Arbeitsgebiet



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.
Tatsächlicher Beginn/ -es Ende1/01/95 → …