Inventaire


Site en français

Quasimodo: Quantitative System Properties in Model-Driven-Design of Embedded Systems

Units : Verification and formal methods | ULB512



Description :


The main goal of Quasimodo is to develop new techniques and tools for model-driven design, analysis, testing and code-generation
for advanced embedded systems where ensuring quantitative bounds on resource consumption  is a central problem.      See:
http://www.quasimodo.aau.dk/

List of persons in charge :


  • RASKIN Jean-François


List of lessors :


  • Autres U.E.