This seems a great way for system design interviews.

Interviewer: what do you know about transactions?

Candidate: Transactions can be serializable.

Interviewer: great, tell me the difference between final state serializability and view state serializability and prove that they are the same if neither of them has dead step.

Candidate: yada yada yada.

Interviewer: Can you tell me how to use such concepts in implementing a production database system? Please come with a few short illustrative examples too.