Now It Compiles! Certified Automatic Repair of Uncompilable Protocols.

Luís Cruz-Filipe Fabrizio 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