MT-LAB A VKR Foundation Center of Excellence

Projektdetaljer

Beskrivelse

The scope of the research centre is to explore and develop methods for formal verification of modern advanced software systems. Such methods have already been successfully applied to self-contained and relatively simple systems. The aim of this project is to develop new methods and expand the applicability of previous methods in order to formally verify the functionality of complex interacting modern software systems. In the project recent theory and methods from computer science and mathematical modelling will be combined.
AkronymMT-LAB
StatusAfsluttet
Effektiv start/slut dato01/10/200801/10/2013

Finansiering

  • VKR Centre of Excellence

Fingerprint Udforsk forskningsemnerne, som dette projekt berører. Disse etiketter er oprettet på grundlag af de underliggende bevillinger/legater. Sammen danner de et unikt fingerprint.

  • Publikation

    • 6 Konferenceartikel i proceeding
    • 3 Tidsskriftartikel
    • 1 Ph.d.-afhandling

    On-the-Fly Computation of Bisimilarity Distances

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2017, I : Logical Methods in Computer Science. 13, 2

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
    Fil
  • 1 Citationer (Scopus)
    17 Downloads (Pure)

    Schedulability of Herschel revisited using statistical model checking

    David, A., Larsen, K. G., Legay, A. & Mikučionis, M., 2015, I : International Journal on Software Tools for Technology Transfer. 17, 2, s. 187-199 13 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

  • 9 Citationer (Scopus)

    Statistical Model Checking for Biological Systems

    David, A., Larsen, K. G., Legay, A., Mikučionis, M., Poulsen, D. B. & Sedwards, S., 1 jul. 2014, I : International Journal on Software Tools for Technology Transfer. 17, 3, s. 351-367 17 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
  • 19 Citationer (Scopus)