Analyzing verification conditions
{"Image DocumentName": "Analyzing verification conditions", "Image ImageDescription": "Automatic theorem prover. can be hidden from programmer. generates counterexamples. Interactive theorem prover. requires gurus. not limited by built-in decision procedures.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}