19 September 2022

Program specification (cont.)

How we could find and write specification in Coq

What about imperative programs

Naming problem when specifying externally given program

What is next

Tags: verification programming specification