-
Home
Here is the updated scientific production of the
research area "Formal Methods, Models, and Languages". This research area of the
Grenoble Informatics Laboratory (LIG) is organized into 3 teams:
- CAPP: Calculi, algorithms, programs and proofs (lead by Rachid Echahed)
- CONVECS: CONstruction of VErified Concurrent Systems (lead by Radu Mateescu)
- TYREX: Types and reasoning for the web (lead by Nabil Layaida)
Keywords: Concurrent systems, Dependability, Embedded systems, Formal specification and verification, Models and programming for the Web, Models of computation, Programming languages and static analysis
LIG website