Searching protocol for "acsl"
Formalize C/C++ code with ACSL annotations.
Infer code invariants for formal verification.
Generate formal code specifications.