DeepAI

AI Chat AI Image Generator AI Video AI Music Generator Login

Fifty years of Hoare's Logic

04/08/2019

∙

by Krzysztof R. Apt, et al.

∙

∙

We discuss a history of Hoare's logic.

Login

Please sign up or login with your details

Login

Sign up

Forgot password? Click here to reset

Pricing

DeepAI

PRO

DeepAI PRO member

$4.99

/month

PRO

Pay As You Go

Generation Overview

AI Generator calls

AI Video Generator calls

AI Chat messages

Genius Mode messages

Genius Mode images

Genius Mode videos

AD-free experience

Private images

Per month

500

30

1750

60

60

5

Includes 500 AI images, 1750 chat messages, 30 videos, 60 Genius Mode messages, 60 Genius Mode images, and 5 Genius Mode videos per month. If you go over any of these limits, there is a $5 charge for each group. Extra Genius Mode videos cost $1 each.

Includes 100 AI images and 300 chat messages. Exceeding either limit requires reloading credits from $5 to $1000, paying only for what you use. Genius Mode videos are $1 each.

Subscribe to PRO using:

Stripe

Paypal

Stripe

Paypal

See Full Pricing Page

Out of credits

Refill your membership to continue using DeepAI

Stripe

Paypal

Share

Share your generations with friends

X

Facebook

Linkedin

Reddit

Deep AI, Inc. ©

Contact Press Legal