About this document
Advanced Formal Modeling Exercises by kranthikumar reddy is a document available to read on EtoBox.
The document is an exercise sheet for a course on Advanced Formal Modeling, focusing on Hoare triples and partial correctness specifications. It includes questions requiring the addition of preconditions for various programming constructs and the writing of programs in a toy language to meet specified correctness conditions. Additionally, it discusses the conditions under which certain specifications hold true and the total correctness of a division program.
- Author
- kranthikumar reddy
- Language
- EN