Login / Signup

CoVEGI: Cooperative Verification via Externally Generated Invariants.

Jan HaltermannHeike Wehrheim
Published in: FASE (2021)
Keyphrases
  • cooperative
  • affine invariant
  • multiscale
  • multi agent
  • model checking
  • face verification
  • generation method
  • data sets
  • learning algorithm
  • three dimensional
  • multi agent systems
  • formal analysis
  • formal verification