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

Projektdetails

Beschreibung

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

Publikationen

Bounded Determinization of Timed Automata with Silent Transitions

Lorber, F. L., Rosenmann, A., Nickovic, D. & Aichernig, B., 2015, Formal Modeling and Analysis of Timed Systems, FORMATS 13, 2015, Madrid, Spain. Berlin [u.a.]: Springer Verlag, Band 9268. S. 288-304 (Lecture Notes in Computer Science; Band 9268).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

MoMuT::UML - model-based mutation testing for UML

Aichernig, B., Brandl, H., Jöbstl, E., Krenn, W. K., Schlick, R. & Tiran, S., 2015, IEEE 8th Int. Conf. on Software Testing, Verification and Validation, ICST 2015. Institute of Electrical and Electronics Engineers, S. 1-8

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Towards Generation of Adaptive Test Cases from Partial Models of Determinized Timed Automata

Aichernig, B. & Lorber, F. L., 2015, Software Testing, Verification and Validation Workshops (ICSTW) 2015. ., S. 1-6

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Open Access
Datei