Effpi: Verified Message-Passing Programs in Dotty

Keyphrases

• Concurrent Programming 100%
• Message Passing Programs 100%
• Programming Errors 100%
• Process-based 50%
• Capability-based 50%
• Communication Protocol 50%
• Runtime Systems 50%
• Deadlock 50%
• Interaction Process 50%
• Protocol Compliance 50%
• Distributed Programming 50%
• Concurrent Programs 50%
• Deadlock Freedom 50%
• CPU Core 50%
• Embedded DSL 50%
• Livelock 50%

Computer Science

• Message Passing 100%
• Concurrent Language 100%
• Communication Protocol 50%
• Runtime Systems 50%
• Deadlock 50%
• Distributed Programming 50%
• Concurrent Program 50%
• Deadlock Freedom 50%
• Programming Error 50%