Now It Compiles! Certified Automatic Repair of Uncompilable Protocols.

Luís Cruz-Filipe Fabrizio Montesi

Published in: CoRR (2023)

Keyphrases

semi automatic
genetic algorithm
case study
hidden markov models
data driven
fully automatic
real time
database systems
expert systems