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)
Keywords: Concurrent systems, Dependability, Embedded systems, Formal specification and verification, Models and programming for the Web, Models of computation, Programming languages and static analysis
