Empty Program (Hoare Calculus)

hoare-calculus

Definition

Empty Program (Hoare Calculus)

$$\{F\}\mathbf{skip}\{F\}{}_{\text{(skip)}}$$