Get to know me quiz
What's my favorite color
Aqua Blue
Forest Green
Sun Yellow
Light Pink
What's my mini super power?
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
{"name":"Get to know me quiz", "url":"https://www.quiz-maker.com/QPREVIEW","txt":"Explore your understanding of me with this fun and engaging quiz! Test your knowledge about my favorite things, quirky \"super powers,\" and coding abilities.7 Thought-Provoking QuestionsMultiple Choice FormatDiscover Fun Insights","img":"https:/images/course4.png"}
More Surveys
Make your own Survey
- it's free to start.
- it's free to start.