CRISTAL associate team
Resource Control by Semantic Interpretations and Linear Proof Theory
- Research center(s) : INRIA Nancy - Grand Est
- Principal investigator : Romain Péchoux
- Field : Algorithmics, Programming, Software and Architecture
- Theme : Programs, Verification and Proofs
Inria
International partner
- Area : Europe - CIS
- Country : Italy
- Institution : Dipartimento di informatica
- Laboratory : Universita degli Studi di Torino
Keywords: Italy Associate teams INRIA Nancy - Grand Est Europe - CIS
Inria research teams of the same theme
- ABSTRACTION - Abstract Interpretation and Static Analysis
- ATEAMS - Analysis and Transformation based on rEliAble tool coMpositionS
- CARTE - Theoretical adverse computations, and safety
- CASSIS - Combination of approaches to the security of infinite states systems
- CELTIQUE - Software certification with semantic analysis
- COMETE - Concurrency, Mobility and Transactions
- CONTRAINTES - Constraint programming
- DEDUCTEAM - Deduction modulo, interopérabilité et démonstration automatique
- FORMES - Formal Methods for Embedded Systems
- GALLIUM - Programming languages, types, compilation and proofs
- MARELLE - Mathematical, Reasoning and Software
- MEXICO - Modeling and Exploitation of Interaction and Concurrency
- PAREO - Formal islands: foundations and applications
- PARSIFAL - Proof search and reasoning with logic specifications
- PI.R2 - Design, study and implementation of languages for proofs and programs
- PROSECCO - Programming securely with cryptography
- SECSI - Security of information systems
- SPECFUN - Symbolic Special Functions : Fast and Certified
- SUMO - SUpervision of large MOdular and distributed systems
- TASC - Theory, Algorithms and Systems for Constraints
- TOCCATA - Certified Programs, Certified Tools, Certified Floating-Point Computations
- VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
Inria contact
Principal investigator
Romain Péchoux
Find out more
Search for an associate team
By associate team name
By Inria research center
- BORDEAUX
- INRIA Bordeaux - Sud-Ouest
- INRIA Bordeaux Sud-Ouest
- INRIA Grenoble - Rhône-Alpes
- INRIA Lille - Nord Europe
- INRIA Nancy - Grand Est
- INRIA Paris - Rocquencourt
- INRIA Rennes - Bretagne Atlantique
- INRIA Saclay - Île-de-France
- INRIA Sophia Antipolis - Méditerranée
- Inria Grenoble - Rhône-Alpes
- Inria Nancy - Grand Est
- Inria Paris - Rocquencourt
- Inria Rennes - Bretagne Atlantique
- Inria Saclay - Île-de-France
- Inria Sophia Antipolis - Méditerranée
- Rennes- Bretagne Atlantique
- Saclay
- Sophia
By Inria field
Inria
Inria.fr
Inria Channel