# C2PO Input Files [`.c2po`]

C2PO files are the default input to C2PO for defining specifications to monitor using R2U2. See the
language description in the C2PO User Guide for details.