Abstract: Programmable Logic Controllers (PLCs) play an essential role in industrial automation by managing complex safety-critical processes. Ensuring the safety and correctness of PLC programs is ...
Lean4 is a purely functional programming language based on the calculus of constructions with inductive types. Formal verification of claims are expressed in precise mathematical terms.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback