paper_type.json (257B)
1 { 2 "paper_type": "theoretical", 3 "reason": "The paper proves correctness of formal operational semantics (dGLP and madGLP) with respect to nondeterministic specifications, constituting a formal analysis contribution rather than experimental validation." 4 }