Mathematics
and Interactions

Keywords > static analysis

• Videos linked to static analysis
  

  01:26:21

  published on May 26, 2026

  Ensuring correctness of probabilistic inference by static analysis

  By Xavier Rival

  More +