Satisfiability vs Realizability

Satisfiablility

There exists some behavior that satisfies the specification.

Realizability

There exists a controller that implements the specification. Must work for all input sequences, since inputs are uncontrollable.