Units

Verification and formal methods

Person in charge of the Unit : Oui

The research and teaching activities of the ''formal methods and verification group'' deal with rigourous methods that allow to design reliable computer systems. These methods are usually applied in the context of critical systems, such as embedded systems in transportation (trains, planes, cars), plants control systems, and so forth.

Projetcs

Federated Center in Verification

The CVF is a working group gathering the various teams working on computer aided verification in the Communauté Wallonie-Bruxelles in Belgium. Funded by the FNRS (FRFC 2.4530.02), the group organizes seminars and offer a common and collaborative framework for the various groups in it. See http://www.ulb.ac.be/di/ssd/cfv/

GASICS: Games for Analysis and Synthesis of Interactive Computational Systems

The gasics project studies game theoretic formalizations of interactive computational systems and algorithms for their analysis and synthesis. Our aim is to extend the existing notions of games played on graphs introduced by computer scientists. Currently, most of the games played on graphs are of the sort ''two players-zero sum'', we aim to extend them to ''multiple players non-zero sum'', and show the applicability of the new theory to the analysis and synthesis of interactive computational systems.       See: http://www.ulb.ac.be/di/gasics/

ARTIST 2

Artist 2 is an excellence network of the 6th framework programme of the European Union dedicated to the reliable development of embedded and embarked systems. We take part more specifically in the cluster ''Test and Verification of Embedded Systems'' of the NoE. See http://www.artist-embedded.org/artist/

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

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/

MOVES: Fundamental Issues in Modelling, Verification and Evolution of Software

See http://moves.vub.ac.be/