Sign in

Now It Compiles! Certified Automatic Repair of Uncompilable Protocols.

Luís Cruz-FilipeFabrizio Montesi
Published in: ITP (2023)
Keyphrases
  • fully automatic
  • semi automatic
  • data sets
  • image processing
  • search algorithm
  • databases
  • data mining
  • information retrieval
  • knowledge base
  • case study
  • evolutionary algorithm
  • distributed databases
  • damage assessment