Escher Verification Studio Perfect Developer and Escher C Verifier
Judith Carlton, David Crocker · 2012
This chapter contains sections titled: Introduction Perfect Developer – its inspiration and foundations Theoretical foundations The Perfect language A Perfect Developer example Escher C verifier The C subset supported by eCv The annotation language of eCv Escher C verifier examples The theorem prover used by Perfect Developer and Escher C verifier Real-world applications of Perfect Developer and Escher C verifier Future work Glossary Bibliography