Publications

Here is a list of the publications related to Coma.

• Coma, an Intermediate Verification Language with Explicit Abstraction Barriers
  • Paskevich, Patault, Filliâtre - ESOP 2025 - paper
• Explicit Abstraction Barrier for Autoactive Verification 2026
  • Patault - Dafny Workshop at POPL 2026 - paper