Research output per year
Research output per year
Project Details
Description
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.
| Acronym | MT-LAB |
|---|---|
| Status | Finished |
| Effective start/end date | 01/10/2008 → 01/10/2013 |
Funding
- VKR Centre of Excellence
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
-
On-the-Fly Computation of Bisimilarity Distances
Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2017, In: Logical Methods in Computer Science. 13, 2Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile6 Citations (Scopus)105 Downloads (Pure) -
Schedulability of Herschel revisited using statistical model checking
David, A., Larsen, K. G., Legay, A. & Mikučionis, M., 2015, In: International Journal on Software Tools for Technology Transfer. 17, 2, p. 187-199 13 p.Research output: Contribution to journal › Journal article › Research › peer-review
11 Citations (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, In: International Journal on Software Tools for Technology Transfer. 17, 3, p. 351-367 17 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access39 Citations (Scopus)