Category:形式手法

Static program analysis

Lambda calculus

Proof of concept

Formal verification

Boolean satisfiability problem

Finite-state machine

Turing machine