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 Quizzes
What OC are you most like?
6354
ABOUT ME
9411
Which JavaScript library are you?
4249
Madelyn quiz
12622
Discover Me: A Fun Quiz
11613
Discover Laraib's Preferences
15811
A
9411
Discover Your True Self: A Fun Character Quiz
9427
Discover Your True Colors!
420
How well do you know Mizah?
251226
Which Hurzeler Animal Are You?
11610
OOfh
1168