We make the measurability of our R&D results one of our primary tasks. We want to show to the world that semantic technologies are becoming reality. Find out more about our results and our spin-off companies.

Uppaal/DMC -- Abstraction-based Heuristics for Directed Model Checking

Publishing Date:
Book title: 
Proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'07)
Author(s) from STI: