being able to always have a parking spot outside my destination
built in bug repellent
instantly heat things up
transfer my feeling of having to go to the bathroom to someone else
Select all valid Hoare triples in each list
{True} x:=y+1 {False}
{True} x:=y+1 {y = 3}
{False} x:=y+1 {y = 72}
goo goo gas gas
Select all valid Hoare triples in each list
{x=2} x:=y+1 {y=1}
{z=y+1} x:=y+1 {x=z}
I dont know
Let the program P≡if x=0 then x:=y+1 else z:=y+1 fi
{x=y} P {(x=y+1)∨(z=x+1)}
{x=y} P {(z=1)→(x=1)}
I thought abroad was easy
By applying only the assignment axiom, what is the precondition of the following Hoare triples?: {_} x:=y−3 {x=7∨y=7}
y=10∨y=7
y−3=7∨y=7
x=4∨y=7
True
¯\_(ツ)_/¯
By applying only the assignment axiom, what is the precondition of the following Hoare triples?: {_} x:=y−x {x>7∧y>7}
y−x>7∧y>7
y>7+x∧y>7
y>7
True
I don't know I'm just a baby
0
{"name":"Get to know me quiz", "url":"https://www.quiz-maker.com/QRIK6YN","txt":"What's my favorite color, What's my mini super power?, Select all valid Hoare triples in each list","img":"https://www.quiz-maker.com/3012/images/ogquiz.png"}