Mathematics
and Interactions

Keywords > distributed symbolic execution

• Videos linked to distributed symbolic execution
  

  01:03:09

  published on November 26, 2021

  Relational tight field bounds for distributed analysis of programs

  By Marcelo Frias

  More +