Publikationer pr. år
Publikationer pr. år
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.
| Akronym | MT-LAB |
|---|---|
| Status | Afsluttet |
| Effektiv start/slut dato | 01/10/2008 → 01/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.
-
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, 2Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil6 Citationer (Scopus)98 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 tidsskrift › Tidsskriftartikel › Forskning › peer review
11 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 tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang39 Citationer (Scopus)