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?
6360
ABOUT ME
9413
SPEC QUIZ
11613
SECTORS OF INDIAN ECONOMY
10559
Anatomical Directional Terms - Free Anatomy Practice
201018898
What Subject Are You - Find Your School Match
201020077
What iCarly Character Am I? Free Personality
201021604
Symbiote: Which Marvel Symbiote Are You?
201018898
Endangered Animals Trivia - Test Your Knowledge
201022417
BD Pyxis MedStation Basics - Free Practice Online
201023315
Statistics - Free Practice Questions & Answers
15817366
Is My Boyfriend a Narcissist? Free With Results
201022137