Interface FormalProperty

interface FormalProperty {
    category: "safety" | "liveness" | "fairness" | "invariant";
    description: string;
    id: string;
    name: string;
    predicate: (state: SystemState) => boolean;
    proofStrategy: "case_split" | "exhaustive" | "inductive" | "compositional";
    temporal: "always" | "eventually" | "leads_to";
    tlaSpec: string;
}