1. 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)
  • team website
  • team publications
  
  
• CONVECS: CONstruction of VErified Concurrent Systems (lead by Radu Mateescu)
  • team website
  • team publications
  
  
• TYREX: Types and reasoning for the web (lead by Nabil Layaida)
  • team website
  • team publications
  
  

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