Principles of Model Checking (2008) – Answers to
Exercises – Baier
Bond - ANSWERSa certificate of debt issued by an organization or government.
Budget deficit - ANSWERSgovernment spends more than it takes in
Budget surplus - ANSWERSgovernment spends less than it takes in
Business cycle - ANSWERSThe movement of an economy from one condition to another and
back again
Consumer price index (CPI) - ANSWERSa measure of the average change in the prices paid by
consumers for typical consumer goods and services overtime.
Deflation - ANSWERSa general decline in prices throughout an economy
Depression - ANSWERSa phase marked by a prolonged period of high unemployment, weak
consumer sales, and business failures.
Federal Reserve System - ANSWERSis the central bank of the United States, created by Congress
in 1913.
GDP per capita - ANSWERSthe GDP divided by the total population of a country
Gross domestic product (GDP) - ANSWERSthe market value of all final products produced in a
1
Exercises – Baier
Bond - ANSWERSa certificate of debt issued by an organization or government.
Budget deficit - ANSWERSgovernment spends more than it takes in
Budget surplus - ANSWERSgovernment spends less than it takes in
Business cycle - ANSWERSThe movement of an economy from one condition to another and
back again
Consumer price index (CPI) - ANSWERSa measure of the average change in the prices paid by
consumers for typical consumer goods and services overtime.
Deflation - ANSWERSa general decline in prices throughout an economy
Depression - ANSWERSa phase marked by a prolonged period of high unemployment, weak
consumer sales, and business failures.
Federal Reserve System - ANSWERSis the central bank of the United States, created by Congress
in 1913.
GDP per capita - ANSWERSthe GDP divided by the total population of a country
Gross domestic product (GDP) - ANSWERSthe market value of all final products produced in a
1
