Now It Compiles! Certified Automatic Repair of Uncompilable Protocols

Keyphrases

• Choreographic Programming 100%
• Communicating Systems 50%
• Distributed Implementation 50%
• Implementation Details 50%
• Theorem Prover 50%
• Pen-and-paper 50%
• Automatic Method 50%
• Programmer 50%
• Correct-by-construction 50%

Computer Science

• Formalization 100%
• Theorem Prover 50%
• Implementation Detail 50%