• 26/03/2021: project kickoff meeting, part 2: scientific talks
  • 22/03/2021: project kickoff meeting, part 1: project and work packages presentation and discussions

About MAVeriQ

MAVeriQ is a PRC project selected for funding by the ANR CE25 in the context of AAPG2020.

It started in March 2021 and will last 48 months.

MAVEriQ stands for “Methods of Analysis for Verification of Quantitative properties”. Its goal is to promote unified methods for the quantitative verification of timed, stochastic and/or hybrid systems.

It involves the following partners:

  • IRIF (Université de Paris - CNRS)
  • INRIA Rennes
  • LACL (Université Paris Est Créteil)
  • VERIMAG (Université Grenoble Alpes - CNRS)
  • LSV (ENS Paris Saclay - CNRS)