Formal Methods

Question 1

A technique for expressing requirements in a manner that allows the requirements to be studied mathematically

Answer 1

Formal method

Question 2

Meaning of a system is expressed in the mathematical theory of domains

Answer 2

Denotational semantics

Question 3

Meaning of a system is expressed as a sequence of actions of a (presumably) simpler computational model

Answer 3

Operational semantics

Question 4

Meaning of the system is expressed in terms of preconditions and postconditions which are true before and after the system performs a task, respectively

Answer 4

Axiomatic semantics

Question 5

A system verifies certain properties by means of an exhaustive search of all possible states that a system could enter during its execution

Answer 5

Model checking

Question 6

Satisfies its specifications. Not necessary and not sufficient

Answer 6

Correctness

Question 7

Used to model the software and hardware architecture of an embedded, real-time system

Answer 7

AADL

Question 8

Allows formal verification to replace certain forms of testing

Answer 8

DO-178C