Proof-carrying code (PCC) and certifying model checking (CMC) are two established paradigms for obtaining objective confidence in the runtime behavior. of a program.

• 在一个程序的运行时中获得信任的两个既定模式，分别为证明携码（PCC）和认证模型校验（CMC）。