Fig. 2.From: Practical Deductive Verification of OCaml ProgramsCameleer Architecture and verification pipeline, taken from [27].Back to paper page