This team was not found in the list of teams INRIA, contact the search direction or disable this plugin.

ESTASYS is an exploratory action and Inria team that proposes inovative techniques for the rigorous design of Cyber Physical Systems (CPS). ESTASYS focuses on :

  • New efficient simulation techniques used to overcome both the undecidability and state-space explosion problems
  • New quantitative techniques to reason on complex properties such as resource allocation and energy budget.
  • New techniques to quantify privacy and information flow (secure passwords, etc)
  • New revolutiony tools and integrated libraries.
  • New contract theories for requirement specifications.